| Publication | Date of Publication | Type |
|---|
Term rewriting induction
| 2023-04-28 | Paper |
Conditional rewriting in focus
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Reduction techniques for first-order reasoning
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Bisimulation as a logical relation
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Rewriting techniques for program synthesis
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Axiomatization of a functional logic language
Algebraic and Logic Programming | 2022-08-16 | Paper |
Deriving logical relations from interpretations of predicate logic
| 2022-04-29 | Paper |
Induction using term orderings
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
A logical view of assignments
Lecture Notes in Computer Science | 2017-11-17 | Paper |
The essence of Reynolds
Formal Aspects of Computing | 2016-08-05 | Paper |
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
| 2016-05-06 | Paper |
Automata-theoretic semantics of idealized Algol with passive expressions
| 2016-04-12 | Paper |
Syntactic control of interference for separation logic
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
The essence of Reynolds
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
An automata-theoretic model of Idealized Algol (extended abstract)
Automata, Languages, and Programming | 2012-11-01 | Paper |
Fine-grained concurrency with separation logic
Journal of Philosophical Logic | 2012-03-09 | Paper |
Correctness of data representations involving heap data structures
Science of Computer Programming | 2004-11-22 | Paper |
scientific article; zbMATH DE number 1956556 (Why is no real title available?)
| 2003-07-30 | Paper |
Linear continuation-passing
Higher-Order and Symbolic Computation | 2003-05-14 | Paper |
Objects and classes in Algol-like languages
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1512629 (Why is no real title available?)
| 2000-10-03 | Paper |
Objects, interference, and the Yoneda embedding
Theoretical Computer Science | 2000-08-23 | Paper |
scientific article; zbMATH DE number 1231473 (Why is no real title available?)
| 1998-12-13 | Paper |
Induction using term orders
Journal of Automated Reasoning | 1996-06-11 | Paper |
scientific article; zbMATH DE number 814800 (Why is no real title available?)
| 1996-04-16 | Paper |
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation | 1994-06-09 | Paper |
On the power of abstract interpretation
Computer Languages | 1993-11-15 | Paper |
scientific article; zbMATH DE number 4043306 (Why is no real title available?)
| 1987-01-01 | Paper |
