Logic Based Program Synthesis and Transformation
From MaRDI portal
Publication:5713938
DOI10.1007/b98080zbMath1099.68546OpenAlexW4301837838MaRDI QIDQ5713938
Olivier Danvy, Dariusz Biernacki
Publication date: 27 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98080
Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Automating the functional correspondence between higher-order evaluators and abstract machines ⋮ Refunctionalization at work ⋮ A static simulation of dynamic delimited control ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ From Reduction-Based to Reduction-Free Normalization ⋮ A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
Uses Software
This page was built for publication: Logic Based Program Synthesis and Transformation