The following pages link to John Hatcliff (Q236462):
Displayed 26 items.
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- CPS translations and applications: The cube and beyond (Q1125574) (← links)
- Slicing software for model construction (Q1595472) (← links)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- (Q2753762) (← links)
- (Q2845504) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow (Q2894335) (← links)
- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (Q3558215) (← links)
- (Q4222881) (← links)
- (Q4222932) (← links)
- Thunks and the λ-calculus (Q4358459) (← links)
- A computational formalization for partial evaluation (Q4366769) (← links)
- (Q4414730) (← links)
- (Q4791830) (← links)
- (Q5094142) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308403) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- Compiler Construction (Q5308727) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- Fundamental Approaches to Software Engineering (Q5428883) (← links)
- Computer Aided Verification (Q5716547) (← links)
- On the transformation between direct and continuation semantics (Q5890072) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)
- An induction principle for pure type systems (Q5958776) (← links)