Programming Languages and Systems
From MaRDI portal
Publication:5899009
DOI10.1007/11693024zbMATH Open1178.68146OpenAlexW2491912653MaRDI QIDQ5899009FDOQ5899009
Authors: Amal Ahmed 
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)
Cited In (35)
- Step-indexed logical relations for probability
- A fibrational tale of operational logical relations: pure, effectful and differential
- A verified framework for higher-order uncurrying optimizations
- Proving correctness of a compiler using step-indexed logical relations
- Transfinite step-indexing: decoupling concrete and logical steps
- Temporal refinements for guarded recursive types
- A Kripke logical relation for effect-based program transformations
- Polarized subtyping
- Relational Reasoning for Recursive Types and References
- A relational realizability model for higher-order stateful ADTs
- A case study in programming coinductive proofs: Howe's method
- Observational program calculi and the correctness of translations
- Title not available (Why is that?)
- Free theorems and runtime type representations
- Selective strictness and parametricity in structural operational semantics, inequationally
- A family of syntactic logical relations for the semantics of Haskell-like languages
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
- Semantic preservation for a type directed translation scheme of Featherweight Go
- Gradual type theory
- Taming the merge operator
- Logical relations for coherence of effect subtyping
- A Dictionary-Passing Translation of Featherweight Go
- Title not available (Why is that?)
- Translation certification for smart contracts
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Differential logical relations. II: Increments and derivatives
- Logical predicates in higher-order mathematical operational semantics
- Syntactic logical relations for polymorphic and recursive types
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- Typing termination in a higher-order concurrent imperative language
- A Step-indexed Semantics of Imperative Objects
- On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
- A higher-order abstract syntax approach to verified transformations on functional programs
- Existential types for relaxed noninterference
- Relational cost analysis in a functional-imperative setting
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899009)
