search result

Cover von Programming Languages and Systems

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
2026
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 16501/16502
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 16502
Media group: MONOGRAPHIE
Cover von Part I.; Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 16501
Media group: MONOGRAPHIE
Cover von Interactive and Automated Proofs in Modal Separation Logic (Invited Talk)

Interactive and Automated Proofs in Modal Separation Logic (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 372, ECOOP 2026, Complete Volume

LIPIcs, Volume 372, ECOOP 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 40th European Conference on Object-Oriented Programming
ECOOP 2026, Brussels, Belgium, June 29 to July 3, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 372
Media group: LIPIcs
Cover von Modular Verification of Intrusive List and Tree Data Structures in Separation Logic

Modular Verification of Intrusive List and Tree Data Structures in Separation Logic

Year: 2024
Media group: LIPIcs
Cover von Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 14560
Media group: MONOGRAPHIE
Cover von Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic

Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0