Clean - An Abstract Imperative Programming Language and its Theory
From MaRDI portal
- An efficient context-free parsing algorithm
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- CSimpl: a rely-guarantee-based framework for verifying concurrent programs
- FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
- Higher-order functions for parsing
- Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
- Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings
- Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings
- Isabelle/HOL. A proof assistant for higher-order logic
- Pervasive parallelism in highly-trustable interactive theorem proving systems
- Proof tactics for assertions in separation logic
- Tactic program-based testing and bounded verification in Isabelle/HOL
- The Rooster and the Butterflies
- Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
- Theoretical aspects of computing -- ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24--31, 2016. Proceedings
- Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings.
- Unifying heterogeneous state-spaces with lenses
- Using the Isabelle ontology framework -- linking the formal with the informal
This page was built for software: Clean - An Abstract Imperative Programming Language and its Theory
