Programming Languages and Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Programming Languages and Systems
 
Publisher Verlag
Springer / LNCS
 
Place of publishing Erscheinungsort
7705
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings 2021
2Sextl, Florian ; Rogalewicz, Adam ; Vojnar, Tomáš ; Zuleger, Florian Compositional Shape Analysis with Shared Abduction and Biabductive Loop AccelerationInproceedings Konferenzbeitrag 1-May-2025
3Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013
4Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012