Logic-Based Program Synthesis: State of the Art and Future Trends
Contents
A Model for Software Reliability and the Impact of Program Synthesis
PDFPosition Statement
PDFIncomplete Proofs and Program Synthesis
PDFLogic-Based Program Synthesis: State of the Art and Future Trends
PDFRetrieval as Synthesis: Feature-Based Retrieval and Adaptation Architectures
PDFAutomatic Synthesis of Safety-Related Software
PDFThe Role of Witness-Finding in Software Synthesis
PDFControl Rules for Reactive System Games
PDFProgram Synthesis for Combinatorial Optimization Problems
PDFProof Planning and Program Synthesis: A Survey
PDFDesigning Reliable, High-Performance Networks in the Nuprl Programming Environment
PDFA Commercial Program Synthesis System for Computational Finance
PDFImplementing Extended Structural Synthesis of Programs
PDFLogic-Based Program Synthesis via Program Extraction
PDFSynthesizing UML Statecharts from Requirements Scenarios + Propositional Constraints
PDFAPIS — Automatic Production of Information Systems
PDFProgram Synthesis is “Just” Another Learning Problem
PDFExtracting Feasible Programs
PDFDeductive Chat Lines for Multiple Agents
PDFSynthesis of Efficient Constraint Satisfaction Programs
PDFA Thread of History and Progress in Program Synthesis
PDFAutomatic Synthesis of Statistical Data Analysis Programs
PDFCombining Automated Theorem Provers and Computer Algebra Systems for Generating Formal Proofs of Complexity Bounds
PDFToward Automatic Synthesis of Security Protocols
PDF