sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(1)

<< < 1 > >>

Kestrel Institute
kids, specware, planware
to applications ase deductive_program_synthesis institute program_synthesis smith software_engineering by emanuel on Apr 16, 2008, 4:02 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(8)

<< < 1 > >>

A Deductive Approach to Program Synthesis
Zohar Manna, and Richard Waldinger ACM Transactions on Programming Languages and Systems 2(1):90--121 (1980)
to article ase deductive_program_synthesis program_synthesis by emanuel and 1 other user on May 9, 2010, 3:17 PM
URL | BibTeX (0)
Software Development by Refinement
Dusko Pavlovic, and Douglas R. Smith Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, page 267--286. (2003)
to ase deductive_program_synthesis inproceedings kestrel overview program_synthesis software_engineering by emanuel on Apr 21, 2010, 10:06 PM
URL | BibTeX (0)
Logic Program Synthesis
Yves Deville, and Kung-Kiu Lau Journal of Logic Programming (1994)
to deductive_program_synthesis ilp inductive_programming program_synthesis survey by emanuel and 3 other users on Dec 30, 2008, 6:36 PM
BibTeX (0)
Automatic Programming
Alan W. Biermann Encyclopedia of Artificial Intelligence, John Wiley \& Sons, Inc., New York, NY, USA, Second edition, (1992)
to analytical_ip ase deductive_program_synthesis enumerative_ip formal_methods ifp ilp induction inductive_programming lisp overview program_synthesis by emanuel on Sep 29, 2008, 12:09 PM
BibTeX (0)
Automatic Programming: a Tutorial on Formal Methodologies
A. W. Biermann Journal of Symbolic Compututation 1(2):119--142 (1985)
to analytical_ip ase deductive_program_synthesis enumerative_ip ifp induction inductive_programming lisp program_synthesis by emanuel and 1 other user on Sep 29, 2008, 11:49 AM
DOI | BibTeX (0)
A Transformation System for Developing Recursive Programs
R. M. Burstall, and John Darlington Journal of the ACM 24(1):44--67 (1977)
to article ase deductive_program_synthesis program_optimisation program_synthesis program_transformation by emanuel and 2 other users on Apr 17, 2008, 12:36 PM
URL | BibTeX (0)
Automatic synthesis of recursive programs: the proof-planning paradigm
A. Armando, A. Smaill, and I. Green Proceedings of the 12th IEEE International Conference on Automated Software Engineering, ASE'97, page 2-9. (1997)
to deductive_program_synthesis inproceedings program_synthesis proof-planning by emanuel and 1 other user on Apr 16, 2008, 4:51 PM
URL | BibTeX (0)
SPECWARE - Producing Software Correct by Construction
James McDonald, and John Anton KES.U.01.3.. Kestrel Institute, (2001)
to ase deductive_program_synthesis kestrel program_synthesis software_engineering specware techreport by emanuel on Apr 16, 2008, 4:23 PM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper