Program synthesis using realizability
From MaRDI portal
Publication:1183580
zbMath0745.68030MaRDI QIDQ1183580
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
soundnessprogram synthesis\textbf{q}-realizability interpretationrecursively defined predicatetheory \textbf{EON}+\(\mu\)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Realizability interpretation of generalized inductive definitions, Monotone recursive definition of predicates and its realizability interpretation, Adding proof objects and inductive definition mechanisms to frege structures, Completeness and expressiveness of pointer program verification by separation logic, Realizability interpretation of coinductive definitions and program synthesis with streams, \(QPC_ 2\): A constructive calculus with parameterized specifications