John Hatcliff

From MaRDI portal
Person:236462

Available identifiers

zbMath Open hatcliff.johnMaRDI QIDQ236462

List of research outcomes





PublicationDate of PublicationType
On the transformation between direct and continuation semantics2023-04-28Paper
https://portal.mardi4nfdi.de/entity/Q50941422022-08-02Paper
Behavioral interface specification languages2014-08-13Paper
Space-reduction strategies for model checking dynamic software2013-08-30Paper
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow2012-06-29Paper
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures2010-11-25Paper
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays2010-05-04Paper
Fundamental Approaches to Software Engineering2007-11-28Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Compiler Construction2007-09-28Paper
Translating Java for multiple model checkers: The Bandera back-end2006-02-20Paper
Computer Aided Verification2006-01-10Paper
Programming Languages and Systems2005-09-13Paper
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q44147302003-07-27Paper
https://portal.mardi4nfdi.de/entity/Q47918302003-02-03Paper
Weak normalization implies strong normalization in a class of non-dependent pure type systems2002-03-03Paper
An induction principle for pure type systems2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q27537622002-01-06Paper
Slicing software for model construction2001-02-11Paper
CPS translations and applications: The cube and beyond2000-01-30Paper
https://portal.mardi4nfdi.de/entity/Q42229321999-01-06Paper
https://portal.mardi4nfdi.de/entity/Q42228811998-12-20Paper
Thunks and the λ-calculus1998-02-16Paper
A computational formalization for partial evaluation1997-11-20Paper

Research outcomes over time

This page was built for person: John Hatcliff