Logic Based Program Synthesis and Transformation
From MaRDI portal
Publication:5713938
DOI10.1007/b98080zbMath1099.68546MaRDI 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
68Q55: Semantics in the theory of computing
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Automating the functional correspondence between higher-order evaluators and abstract machines, A syntactic correspondence between context-sensitive calculi and abstract machines, Refunctionalization at work, Inter-deriving semantic artifacts for object-oriented programming, A static simulation of dynamic delimited control, A functional correspondence between monadic evaluators and abstract machines for languages with computational effects, From Reduction-Based to Reduction-Free Normalization
Uses Software