Programming Languages and Systems by Robbert Krebbers
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.
The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation.
-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Computer Vision – ECCV 2026
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2026
-
Computer Security – ESORICS 2026
-
Machine Learning and Knowledge Discovery in Databases. Research Track
-
Artificial Neural Networks and Machine Learning – ICANN 2026
-
Application and Theory of Petri Nets and Concurrency
-
Artificial Neural Networks in Pattern Recognition
| SKU | Unavailable |
| ISBN 13 | 9783032227225 |
| ISBN 10 | 3032227224 |
| Title | Programming Languages and Systems |
| Author | Robbert Krebbers |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2026-05-11 |
| Number of pages | 435 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |