John Hatcliff

Available identifiers

zbMath Open hatcliff.johnMaRDI QIDQ236462

List of research outcomes

Publication	Date of Publication	Type
On the transformation between direct and continuation semantics	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5094142	2022-08-02	Paper
Behavioral interface specification languages	2014-08-13	Paper
Space-reduction strategies for model checking dynamic software	2013-08-30	Paper
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow	2012-06-29	Paper
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures	2010-11-25	Paper
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays	2010-05-04	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Compiler Construction	2007-09-28	Paper
Translating Java for multiple model checkers: The Bandera back-end	2006-02-20	Paper
Computer Aided Verification	2006-01-10	Paper
Programming Languages and Systems	2005-09-13	Paper
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4414730	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4791830	2003-02-03	Paper
Weak normalization implies strong normalization in a class of non-dependent pure type systems	2002-03-03	Paper
An induction principle for pure type systems	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2753762	2002-01-06	Paper
Slicing software for model construction	2001-02-11	Paper
CPS translations and applications: The cube and beyond	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4222932	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222881	1998-12-20	Paper
Thunks and the λ-calculus	1998-02-16	Paper
A computational formalization for partial evaluation	1997-11-20	Paper

Research outcomes over time

This page was built for person: John Hatcliff