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