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
https://portal.mardi4nfdi.de/entity/Q2845504	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John Hatcliff