Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Transfinite Iris: resolving an existential dilemma of step-indexed separation logic.

S. Spies, L. Gäher, D. Gratzer, J. Tassarotti, R. Krebbers, D. Dreyer, und L. Birkedal. PLDI, Seite 80-95. ACM, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lars Klingel University of Stuttgart

Lars Bippus University of Stuttgart

Dr. Lars Mautsch University of Stuttgart

Lars Kübler University of Stuttgart

Lars Kirchhof University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

The impact of higher-order state and control effects on local relational reasoning.D. Dreyer, G. Neis, und L. Birkedal. J. Funct. Program., 22 (4-5): 477-528 (2012)Preface.L. Birkedal. Electr. Notes Theor. Comput. Sci., (2005)Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).L. Birkedal, D. Dreyer, P. Gardner, und Z. Shao. Dagstuhl Reports, 5 (5): 1-23 (2015)The category-theoretic solution of recursive metric-space equations.L. Birkedal, K. Støvring, und J. Thamsborg. Theor. Comput. Sci., 411 (47): 4102-4122 (2010)First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.L. Birkedal, R. Møgelberg, J. Schwinghammer, und K. Støvring. LICS, Seite 55-64. IEEE Computer Society, (2011)Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes.L. Birkedal, und R. Møgelberg. LICS, Seite 213-222. IEEE Computer Society, (2013)Step-Indexed Relational Reasoning for Countable Nondeterminism.L. Birkedal, A. Bizjak, und J. Schwinghammer. Logical Methods in Computer Science, (2013)Guarded Cubical Type Theory.L. Birkedal, A. Bizjak, R. Clouston, H. Grathwohl, B. Spitters, und A. Vezzosi. J. Autom. Reasoning, 63 (2): 211-253 (2019)Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic.M. Dodds, S. Jagannathan, M. Parkinson, K. Svendsen, und L. Birkedal. ACM Trans. Program. Lang. Syst., 38 (2): 4:1-4:72 (2016)BI Hyperdoctrines and Higher-Order Separation Logic.B. Biering, L. Birkedal, und N. Torp-Smith. ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 233-247. Springer, (2005)