Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lucas G. Wagner
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Related publications
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Compositional Reasoning in Early Childhood
PLoS ONE
Multidisciplinary
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Declarative View of Imperative Programs
Calculating Quantitative Integrity and Secrecy for Imperative Programs
International Journal of Secure Software Engineering
A Framework for Reasoning on Component Composition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Computational Framework for Default Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Completeness of Compositional Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Compositional Framework for Complex Queries Over Uncertain Data
