Search results for "program synthesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster	From program verification to program synthesis.	POPL	2010	DBLP DOI BibTeX RDF	proof-theoretic program synthesis, verification
3	Andrew Ireland, Jamie Stark	Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	partial order planning, deductive synthesis, program synthesis, proof planning
3	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
3	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
3	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
3	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike	Program Synthesis Based on the Equivalent Transformation Computation Model.	LOPSTR	2002	DBLP DOI BibTeX RDF
3	Alvin J. Surkan	Spoken-word direction of computer program synthesis.	APL	2000	DBLP DOI BibTeX RDF	chatting in context, computer program synthesis, constructive composition of functional programs, incremental verbal software specification, spoken computer commands, talking with computers, voice computing, voice-directed programming, APL, human-computer interface
3	Jamie Stark, Andrew Ireland	Towards Automatic Imperative Program Synthesis Through Proof Planning. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	Imperative Program Synthesis, Proof planning
3	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
3	Mihhail Matskin, Enn Tyugu	Strategies of Structural Synthesis of Programs. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	structural program synthesis strategies, deductive program synthesis method, compositional programming, decidable logical calculus, PSPACE complexity, independent subtasks, iteration synthesis, regular data structures, heuristics, programming environments, structured programming, proof search, search efficiency
3	Janos Sztipanovits, Gabor Karsai, Hubertus Franke	Model-Integrated Program Synthesis Environment.	ECBS	1996	DBLP DOI BibTeX RDF	program synthesis, model-based systems, domain-specific software architecture
3	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
2	Sumit Gulwani	Dimensions in program synthesis.	PPDP	2010	DBLP DOI BibTeX RDF	deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference
2	Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari	Oracle-guided component-based program synthesis.	ICSE	2010	DBLP DOI BibTeX RDF	oracle-based learning, SAT, program synthesis, SMT
2	Armando Solar-Lezama	The Sketching Approach to Program Synthesis.	APLAS	2009	DBLP DOI BibTeX RDF
2	Julien Bernet, David Janin	From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.	SOFSEM	2008	DBLP DOI BibTeX RDF
2	Iman Poernomo	Synthesis of Data Views for Communicating Processes.	LOPSTR	2007	DBLP DOI BibTeX RDF
2	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
2	Li Ye, Junliang Chen	Automatic Composition of Semantic Web Services - A Theorem Proof Approach.	ASWC	2006	DBLP DOI BibTeX RDF	Automatic Theorem Proof, Deductive Program Synthesis, Semantic Web Services, Automatic Service Composition
2	Arshad Jhumka, Neeraj Suri	Designing Efficient Fail-Safe Multitolerant Systems.	FORTE	2005	DBLP DOI BibTeX RDF	multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
2	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
2	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
2	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
2	Bernd Fischer 0002, Eelco Visser	Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
2	Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan	Program Synthesis for Multi-agent Question Answering.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
2	Bernd Fischer 0002, Eelco Visser	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).	LOPSTR	2003	DBLP DOI BibTeX RDF
2	Pierre Flener	Achievements and Prospects of Program Synthesis.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
2	Mihhail Matskin, Jinghai Rao	Value-Added Web Services Composition Using Automatic Program Synthesis.	WES	2002	DBLP DOI BibTeX RDF
2	Slim Abdennadher, Christophe Rigotti	Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.	LOPSTR	2002	DBLP DOI BibTeX RDF
2	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Combining Logic Programs and Monadic Second Order Logics by Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
2	Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki	Inductive Synthesis of Functional Programs.	AISC	2002	DBLP DOI BibTeX RDF	Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding
2	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
2	Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu	Automated Program Synthesis for Java Programming Language.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi	A Theoretical Foundation of Program Synthesis by Equivalent Transformation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	James L. Caldwell	Extracting General Recursive Program Schemes in Nuprl's Type Theory.	LOPSTR	2001	DBLP DOI BibTeX RDF
2	Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini	A Formal Framework for Synthesis and Verification of Logic Programs.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
2	Thomas Emerson, Mark H. Burstein	Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF
2	Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom	Metaprogrammable Toolkit for Model-Integrated Computing.	ECBS	1999	DBLP DOI BibTeX RDF	automatic program synthesis, model-integrated computing, model-based systems, visual environments
2	Uwe Egly, Stephan Schmitt	Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.	AISC	1998	DBLP DOI BibTeX RDF
2	Sanjay Bhansali, Tim J. Hoar	Automated Software Synthesis: An Application in Mechanical CAD.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	geometric constraint-satisfaction, planning, reuse, Program synthesis, domain engineering
2	Ute Schmid, Fritz Wysotzki	Induction of Recursive Program Schemes.	ECML	1998	DBLP DOI BibTeX RDF	Inductive Program Synthesis, Planning and Learning, Cognitive Modelling, Analogy
2	Jutta Eusterbrock	Program Synthesis from Examples by Theory Formation.	ISMIS	1997	DBLP DOI BibTeX RDF
2	Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann	A Multi-level Approach to Program Synthesis.	LOPSTR	1997	DBLP DOI BibTeX RDF
2	Henning Christiansen	Implicit Program Synthesis by a Reversible Metainterpreter.	LOPSTR	1997	DBLP DOI BibTeX RDF
2	Ken Sadohara, Makoto Haraguchi	Analogical Logic Program Synthesis from Examples.	ECML	1995	DBLP DOI BibTeX RDF
2	Saeko Matsuura, Shinichi Honiden	Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.	APSEC	1995	DBLP DOI BibTeX RDF	Reuse, Knowledge Acquisition, Software Process, Case-Based Reasoning, Program Synthesis, Formal Specification Language
2	Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra	MULTIGRAPH: an architecture for model-integrated computing.	ICECCS	1995	DBLP DOI BibTeX RDF	Multigraph Architecture, complex embedded systems, meta-level architecture, domain specific model integrated program synthesis environments, application specific model interpreters, executable programs synthesis, real-time systems, programming environments, computer architecture, program interpreters, model-integrated computing, integrated modeling, MULTIGRAPH, model analysis
2	Jung-Cheun Lien, Melvin A. Breuer	Test program synthesis for modules and chips having boundary scan.	J. Electronic Testing	1993	DBLP DOI BibTeX RDF	Board and system test, test controllers, test program synthesis, built-in self-test, design-for-test, boundary scan
2	Dorothy E. Setliff, Rob A. Rutenbar	Knowledge Representation and Reasoning in a Software Synthesis Architecture.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software synthesis architecture, reasoning strategies, automatic program synthesis architecture, ELF, procedure-level decomposition, synthetic router, data structures, knowledge representation, knowledge representation, computer-aided design, inference mechanisms, automatic programming, circuit layout CAD, design space, VLSI circuits, domain-specific knowledge
2	Oliver Bittel	Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving
2	Uday S. Reddy	Rewriting Techniques for Program Synthesis.	RTA	1989	DBLP DOI BibTeX RDF
2	Paul Jacquet	Program Synthesis by Completion with Dependent Subtypes.	CADE	1988	DBLP DOI BibTeX RDF	Conditional and Order Sorted Rewriting, Program Synthesis
2	Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura	MENDELS: Concurrent Program Synthesis System Using Temporal Logic.	LP	1987	DBLP DOI BibTeX RDF
2	Sun Yong-qiang, Lu Ru-zhan, Bi Hua	Program synthesis based on Boyer-Moore theorem proving techniques.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF	Boyer-Moore technique, program sysnthesis, theorem proving, resolution
2	James M. Bieman	Software complexity, program synthesis, and data flow analysis (session overview): session overview.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
2	Douglas R. Smith	Derived Preconditions and Their Use in Program Synthesis.	CADE	1982	DBLP DOI BibTeX RDF
2	Zohar Manna, Richard J. Waldinger	A Deductive Approach to Program Synthesis.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
2	Joe W. Duran	Heuristics for program synthesis using loop invariants.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Automatic programming, Program synthesis, Program correctness, Loop invariants
2	Ted J. Biggerstaff	Factored Specifications In The Synthesis Of LISP Functions.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
2	Enn Tyugu	A programming system with automatic program synthesis.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
2	Zohar Manna	Knowledge and Reasoning in Program Synthesis.	Programming Methodology	1974	DBLP DOI BibTeX RDF
1	Davide Sangiorgi	Concurrency theory: timed automata, testing, program synthesis.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Janis Voigtländer	Ideas for connecting inductive program synthesis and bidirectionalization.	PEPM	2012	DBLP DOI BibTeX RDF
1	Glenn Bruns, Michael Huth, Kumar Avijit	Program synthesis in administration of higher-order permissions.	SACMAT	2011	DBLP DOI BibTeX RDF
1	María Alpuente (eds.)	Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers	LOPSTR	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner	An algebraic foundation for automatic feature-based program synthesis.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1		Inductive Program Synthesis.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1		Program Synthesis From Examples.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1	Yulia Korukhova, Nikolay Fastovets	A Case-based Reasoning Approach to Program Synthesis .	KEOD	2010	DBLP BibTeX RDF
1	Sumit Gulwani	Dimensions in program synthesis.	FMCAD	2010	DBLP BibTeX RDF
1	Jelena Sanko, Jaan Penjam	Differential evolutionary approach guided by the Functional Constraint Network to solve program synthesis problem.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Danny De Schreye (eds.)	Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Dean Voets, Danny De Schreye	Non-termination Analysis of Logic Programs Using Types.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Christophe Calvès, Maribel Fernández	The First-Order Nominal Link.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla	Compositional CLP-Based Test Data Generation for Imperative Languages.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Johann Schumann, Karen Cate, Alan Lee	Analysis of Air Traffic Track Data with the AutoBayes Synthesis System.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Hirohisa Seki	On Inductive Proofs by Extended Unfold/Fold Transformation Rules.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Kanako Sakurai, Kenichi Asai	MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Olivier Danvy, Ian Zerny	Three Syntactic Theories for Combinatory Graph Reduction.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Jónathan Heras, Vico Pascual, Julio Rubio	Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	David Insa, Josep Silva	Scaling Up Algorithmic Debugging with Virtual Execution Trees.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit	Graph Generation to Statically Represent CSP Processes.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Germán Vidal	A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl	Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel	Verification of the Schorr-Waite Algorithm - From Trees to Graphs.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	Giovanni Bacci, Marco Comini	Abstract Diagnosis of First Order Functional Logic Programs.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	John R. Koza	Introduction to genetic programming tutorial: from the basics to human-competitive results.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic programming, program synthesis
1	Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
1	Jingshu Chen, Sandeep S. Kulkarni	Complexity Analysis of Weak Multitolerance.	ICDCS	2010	DBLP DOI BibTeX RDF	Multitolerance, Fault tolerance, Formal methods, Program synthesis
1	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
1	Elmira Ghoulbeigi, Marcus Vinicius dos Santos	Probabilistic developmental program evolution.	SAC	2010	DBLP DOI BibTeX RDF	probabilistic model building genetic programming, estimation of distribution algorithms, gene expression programming
1	Marta Franová, Yves Kodratoff	Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
1	Ukrit Watchareeruetai, Tetsuya Matsumoto, Noboru Ohnishi, Hiroaki Kudo, Yoshinori Takeuchi	Acceleration of Genetic Programming by Hierarchical Structure Learning: A Case Study on Image Recognition Program Synthesis.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu 0001, Lijun Mei	Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Emanuel Kitzelmann	Inductive Programming: A Survey of Program Synthesis Techniques.	AAIP	2009	DBLP DOI BibTeX RDF
1	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
1	Michael Hanus (eds.)	Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers	LOPSTR	2009	DBLP DOI BibTeX RDF
1	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Defining Datalog in Rewriting Logic.	LOPSTR	2009	DBLP DOI BibTeX RDF