## Found 8,248 Documents (Results 1–100)

100
MathJax

### Differential equations with Mathematica. 5th edition. (English)Zbl 1481.34001

Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-824160-8/pbk; 978-0-323-98436-2/ebook). ix, 592 p. (2023).
MSC:  34-01 65-01 68N15
Full Text:

Full Text:

MSC:  90C35
Full Text:

### Hybrid dynamical systems. Fundamentals and methods. (English)Zbl 07510259

Advanced Textbooks in Control and Signal Processing. Cham: Springer (ISBN 978-3-030-78729-5/hbk; 978-3-030-78731-8/ebook). xviii, 442 p. (2022).
Full Text:

### Generic recursive lens combinators and their calculation laws. (English)Zbl 07505207

MSC:  68N30 68N15
Full Text:

### OCaml scientific computing. Functional programming in data science and artificial intelligence. (English)Zbl 07503505

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022).
Full Text:

### The Python book. (English)Zbl 1481.68004

Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-57331-9/pbk; 978-1-119-57336-4/ebook). vi, 261 p. (2022).
MSC:  68-01 68N15 68T09
Full Text:

Full Text:

### On matrices and $$K$$-relations. (English)Zbl 07473199

MSC:  68N15 68P15 16Y60
Full Text:

### Python, data science and machine learning. From scratch to productivity (to appear). (English)Zbl 07291789

Hackensack, NJ: World Scientific (ISBN 978-981-12-1572-8/hbk). 300 p. (2022).
Full Text:

### (Konzepte höherer Programmiersprachen. (to appear).) (German)Zbl 05834957

München: de Gruyter/Oldenbourg (ISBN 978-3-486-58102-7/pbk). 350 p. (2022).
MSC:  68N15 68N01 68-01

### Communicating finite state machines and an extensible toolchain for multiparty session types. (English)Zbl 07530222

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
Full Text:

Full Text:

### Function management in multi-population methods with a variable number of populations: a variable action learning automaton approach. (English)Zbl 1485.68325

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 323-340 (2021).
Full Text:

### Learning automata for online function evaluation management in evolutionary multi-population methods for dynamic optimization problems. (English)Zbl 1485.68324

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 287-321 (2021).
Full Text:

### Learning automata for behavior control in evolutionary computation. (English)Zbl 1485.68219

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 127-157 (2021).
Full Text:

### Cellular automata, learning automata, and cellular learning automata for optimization. (English)Zbl 1485.68218

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 75-125 (2021).
Full Text:

### Learning automaton and its variants for optimization: a bibliometric analysis. (English)Zbl 1485.68217

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 51-73 (2021).
Full Text:

### An introduction to learning automata and optimization. (English)Zbl 1485.68216

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 1-50 (2021).
Full Text:

### Book review of: K. D. Lee, Foundations of programming languages. (English)Zbl 07455786

MSC:  00A17 68-01 68N15
Full Text:

### Categorical semantics of a simple differential programming language. (English)Zbl 1477.68262

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021).
Full Text:

Full Text:

MSC:  68N15
Full Text:

### Introducing a tool for concurrent argumentation. (English)Zbl 07437030

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 18-24 (2021).
MSC:  68T27
Full Text:

Full Text:

### Compiling Janus to RSSA. (English)Zbl 07419483

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 64-78 (2021).
MSC:  68Q09 68Q10 81P68
Full Text:

### Logic gates, circuits, processors, compilers and computers. (English)Zbl 1473.68005

Cham: Springer (ISBN 978-3-030-68552-2/pbk; 978-3-030-68553-9/ebook). xiv, 251 p. (2021).
Full Text:

### Netter: probabilistic, stateful network models. (English)Zbl 1472.68012

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021).
Full Text:

### A synchronous effects logic for temporal verification of pure Esterel. (English)Zbl 1472.68020

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021).
MSC:  68N15 03B70 68Q60
Full Text:

### Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English)Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
Full Text:

### Deductive verification of floating-point Java programs in KeY. (English)Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
Full Text:

### Query lifting. Language-integrated query for heterogeneous nested collections. (English)Zbl 1473.68067

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 579-606 (2021).
MSC:  68P15 68N15 68N30
Full Text:

### Bayesian strategies: probabilistic programs as generalised graphical models. (English)Zbl 1473.68054

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021).
Full Text:

### Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English)Zbl 1473.68038

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021).
Full Text:

### Complete trace models of state and control. (English)Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
Full Text:

### Verified software units. (English)Zbl 1473.68035

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021).
Full Text:

### Programming with data. (English)Zbl 1474.68040

Carter, Nathan (ed.), Data science for mathematicians. Boca Raton, FL: CRC Press. CRC Press/Chapman Hall Handb. Math. Ser., 13-42 (2021).
MSC:  68N15 68T09

Full Text:

### Computational thinking: a perspective on computer science. (English)Zbl 07385350

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
Full Text:

### Multi-objective optimization of long-run average and total rewards. (English)Zbl 1467.68094

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
Full Text:

### On satisficing in quantitative games. (English)Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
Full Text:

MSC:  68-XX
Full Text:

### Deep learning with Python. Learn best practices of deep learning models with PyTorch. 2nd updated edition. (English)Zbl 1467.68002

Berkeley, CA: Apress (ISBN 978-1-4842-5363-2/pbk; 978-1-4842-5364-9/ebook). xvii, 306 p. (2021).
MSC:  68-01 68N15 68T07
Full Text:

MSC:  90Cxx
Full Text:

### Advances in learning automata and intelligent optimization. (English)Zbl 1470.68021

Intelligent Systems Reference Library 208. Cham: Springer (ISBN 978-3-030-76290-2/hbk; 978-3-030-76291-9/ebook). xx, 340 p. (2021).
Full Text:

Full Text:

MSC:  68T37
Full Text:

Full Text:

### The RaPID-$$\Omega$$ system: room and Proctor intelligent decider for large scale tests programming. (English)Zbl 1474.90295

MSC:  90C10 90B80 68N15
Full Text:

### Pyomo – optimization modeling in Python. 3rd edition. (English)Zbl 1462.90001

Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68930-8/pbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021).
Full Text:

### Programming unreliable hardware. (English)Zbl 07311055

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 533-568 (2021).
MSC:  68N01
Full Text:

### Tabular: probabilistic inference from the spreadsheet. (English)Zbl 07311054

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
Full Text:

### Luck: a probabilistic language for testing. (English)Zbl 07311053

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
Full Text:

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391-448 (2021).
MSC:  68N01
Full Text:

### Probabilistic abstract interpretation: sound inference and application to privacy. (English)Zbl 07311051

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
Full Text:

### Quantitative equational reasoning. (English)Zbl 07311050

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 333-360 (2021).
MSC:  68N01
Full Text:

### The logical essentials of Bayesian reasoning. (English)Zbl 07311049

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 295-332 (2021).
MSC:  68N01
Full Text:

### Quantitative analysis of programs with probabilities and concentration of measure inequalities. (English)Zbl 07311048

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259-294 (2021).
MSC:  68N01
Full Text:

### Termination analysis of probabilistic programs with martingales. (English)Zbl 07311047

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221-258 (2021).
MSC:  68N01
Full Text:

### Expected runtime analyis by program verification. (English)Zbl 07311046

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185-220 (2021).
MSC:  68N01
Full Text:

### Probabilistic couplings from program logics. (English)Zbl 07311045

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 145-184 (2021).
MSC:  68N01
Full Text:

### On probabilistic $$\lambda$$-calculi. (English)Zbl 07311044

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121-144 (2021).
MSC:  68N01
Full Text:

### An application of computable distributions to the semantics of probabilistic programs. (English)Zbl 07311043

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75-120 (2021).
MSC:  68N01
Full Text:

### Probabilistic programs as measures. (English)Zbl 07311042

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43-74 (2021).
MSC:  68N01
Full Text:

### Semantics of probabilistic programming: a gentle introduction. (English)Zbl 07311041

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1-42 (2021).
MSC:  68N01
Full Text:

### Preface. (English)Zbl 07311040

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021).
MSC:  68N01
Full Text:

### Bat algorithm with applications to signal, speech, and image processing – a review. (English)Zbl 1459.94042

Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
Full Text:

### Concrete mathematics (not only) for computer scientists. With many graphics and algorithms in Python. With illustrations by Heike Stephan. 2nd revised and expanded edition. (Konkrete Mathematik (nicht nur) für Informatiker. Mit vielen Grafiken und Algorithmen in Python.) (German)Zbl 1457.00003

Berlin: Springer Spektrum (ISBN 978-3-662-62617-7/hbk; 978-3-662-62618-4/ebook). xv, 989 p. (2021).
MSC:  00A06 68-01 68N15
Full Text:

### Python programming and numerical methods. A guide for engineers and scientists. (English)Zbl 1452.68001

Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-819549-9/pbk; 978-0-12-819550-5/ebook). xxiv, 456 p. (2021).
MSC:  68-01 65-01 68N15
Full Text:

### Equational logic and categorical semantics for multi-languages. (English)Zbl 07516372

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 79-103 (2020).
MSC:  68N30 68Q55
Full Text:

### Sound and relaxed behavioural inheritance. (English)Zbl 07483013

Adamatzky, Andrew (ed.) et al., From astrophysics to unconventional computation. Essays presented to Susan Stepney on the occasion of her 60th birthday. Cham: Springer. Emerg. Complex. Comput. 35, 255-298 (2020).
MSC:  68N30 68N15
Full Text:

Full Text:

### Typestates to automata and back: a tool. (English)Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
Full Text:

### Enhanced type inference for binding-time analysis. (English)Zbl 07443568

MSC:  68N18 68N15 03B38
Full Text:

### Highly automated formal proofs over memory usage of assembly code. (English)Zbl 1483.68211

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 98-117 (2020).
MSC:  68Q60 68N15 68V15
Full Text:

### Probabilistic Lipschitz analysis of neural networks. (English)Zbl 1474.68155

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 274-309 (2020).
Full Text:

### Certified semantics for relational programming. (English)Zbl 1476.68043

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 167-185 (2020).
Full Text:

### Syntactically restricting bounded polymorphism for decidable subtyping. (English)Zbl 1476.68041

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020).
MSC:  68N15 68N18 68N19
Full Text:

### Behavioural types for memory and method safety in a core object-oriented language. (English)Zbl 1476.68039

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 105-124 (2020).
MSC:  68N15 68N30
Full Text:

### Multi-purpose syntax definition with SDF3. (English)Zbl 1476.68040

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 1-23 (2020).
MSC:  68N15 68Q42
Full Text:

### System description: lang-n-change – a tool for transforming languages. (English)Zbl 07368092

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020).
MSC:  68N17 68N18
Full Text:

### A tutorial introduction to quantum circuit programming in dependently typed proto-quipper. (English)Zbl 07368053

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 153-168 (2020).
MSC:  68Q09 68Q10 81P68
Full Text:

### On the expressivity of total reversible programming languages. (English)Zbl 07368051

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 128-143 (2020).
MSC:  68Q09 68Q10 81P68
Full Text:

### One-shot algebraic effects as coroutines. (English)Zbl 1475.68063

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 159-179 (2020).
MSC:  68N18 68N15
Full Text:

### A proof assistant based formalisation of a subset of sequential core Erlang. (English)Zbl 1475.68059

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020).
Full Text:

### Development of customized scripts. (English)Zbl 07364705

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020).
MSC:  68T35 78A55
Full Text:

MSC:  81P68
Full Text:

Full Text:

### Correct audit logging in concurrent systems. (English)Zbl 07313968

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 115-141 (2020).
MSC:  03B70 68Q55 68T27
Full Text:

### The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. (English)Zbl 1459.68092

MSC:  68Q42 68N15
Full Text:

### Disciplined quasiconvex programming. (English)Zbl 1459.90148

MSC:  90C25 90-04
Full Text:

Full Text:

### Investigation of parallel data processing using hybrid high performance CPU. (English)Zbl 07299781

MSC:  68M20 65Y05 68N15
Full Text:

### Linear dependent type theory for quantum programming languages. Extended abstract. (English)Zbl 07299487

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020).
MSC:  68-XX
Full Text:

### Cones as a model of intuitionistic linear logic. (English)Zbl 07299482

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020).
MSC:  03B70
Full Text:

### Representing structural language features in formal meta-languages. (English)Zbl 1455.68268

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 206-221 (2020).
MSC:  68V30 68N15
Full Text:

Full Text:

### TFA: an efficient and precise virtual method call resolution for Java. (English)Zbl 1458.68036

MSC:  68N15 68N19
Full Text:

### Intermediate representation of programs with type specification based on pattern matching. (English. Russian original)Zbl 1455.68040

Program. Comput. Softw. 46, No. 1, 57-66 (2020); translation from Programmirovanie 46, No. 1, 63-74 (2020).
MSC:  68N15 68N18
Full Text:

### Verifying tight logic programs with anthem and vampire. (English)Zbl 1468.68127

MSC:  68Q60 03C07 68N17
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3