Logic-Based Program Synthesis: State of the Art and Future Trends
Papers from 2002 AAAI Spring Symposium
Bernd Fischer and Douglas R. Smith, Program Cochairs
Technical Report SS-02-05. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
A Thread of History and Progress in Program Synthesis / 1
Cordell Green
A Commercial Program Synthesis System for Computational Finance / 3
Elaine Kant
Deductive Chat Lines for Multiple Agents / 5
Richard Waldinger
Proof Planning and Program Synthesis: A Survey / 7
Julian Richardson
Incomplete Proofs and Program Synthesis / 13
G. Mints
APIS -- Automatic Production of Information Systems / 17
M. Frappier, B. Fraikin, M. Richard, and R. Laleau
Logic-Based Program Synthesis: State of the Art and Future Trends / 25
Steve Roach
Extracting Feasible Programs / 29
Jean-Yves Marion
Retrieval as Synthesis: Feature-Based Retrieval and Adaptation Architectures / 35
Perry Alexander, Cindy Kong, and Brandon Morel
Program Synthesis for Combinatorial Optimization Problems / 41
Pierre Flener
Toward Automatic Synthesis of Security Protocols / 45
H. Saüdi
Logic-Based Program Synthesis via Program Extraction / 53
Ewen Denney
Designing Reliable, High-Performance Networks in the Nuprl Programming Environment / 55
Christoph Kreitz
Combining Automated Theorem Provers and Computer Algebra Systems for Generating Formal Proofs of Complexity Bounds / 57
Ralph Benzinger
Implementing Extended Structural Synthesis of Programs / 63
Sven Lämmermann and Enn Tyugu
Automatic Synthesis of Statistical Data Analysis Programs / 73
Bernd Fischer
Synthesizing UML Statecharts from Requirements Scenarios + Propositional Constraints / 75
Jon Whittle
A Model for Software Reliability and the Impact of Program Synthesis / 77
Michael R. Lowry
Synthesis of Efficient Constraint Satisfaction Programs / 81
Stephen J. Westfold and Douglas R. Smith
The Role of Witness-Finding in Software Synthesis / 91
Douglas R. Smith
Control Rules for Reactive System Games / 95
Matteo Slanina
Automatic Synthesis of Safety-Related Software / 105
Johann Schumann
Program Synthesis is "Just" Another Learning Problem / 109
Leona F. Fass
Position Statement / 111
Tim Sauerwein
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.