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

(2)

<< < 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)
The Automated Software Engineering Conference Series Homepage
to ase community by emanuel on Apr 15, 2008, 5:20 PM
(0)

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

RSS BibTeX RDF more

publications

(11)

<< < 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)
Constructing Programs from Example Computations
A.W. Biermann, and R. Krishnaswamy IEEE Transactions on Software Engineering 2(3):141--153 (1976)
to ase induction inductive_programming pre-summers program_synthesis synthesis_from_traces by emanuel and 1 other user on Apr 21, 2010, 10:05 PM
DOI | BibTeX (0)
GAST: Generic Automated Software Testing
Pieter Koopman, Artem Alimarine, Jan Tretmans, and Rinus Plasmeijer Implementation of Functional Languages IFL'02, volume 2670 of LNCS, Springer, (2003)
to ase automated_testing gast software_engineering theorem_proving by emanuel on Dec 6, 2008, 10:22 PM
URL | 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)
Logic Program Synthesis as Problem Reduction Using Combining Forms
Andreas Hamfelt, Jørgen Fischer Nilsson, and Nikolaj Oldager Automated Software Engineering 8(2):167--193 (2001)
to article ase combilog combinduce enumerative_ip ilp induction inductive_programming program_synthesis recursion_schemes by emanuel and 1 other user on Apr 20, 2008, 5:55 PM
URL | BibTeX (0)
Specifications are necessarily informal or: some more myths of formal methods
Baudouin Le Charlier, and Pierre Flener Journal of Systems and Software 40(3):275--296 (1998)
to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other users on Apr 18, 2008, 5:43 PM
URL | BibTeX (0)
Inductive Programming
Pierre Flener, and Derek Partridge Automated Software Engineering 8(2):131--137 (2001)
to article ase induction inductive_programming position_paper program_synthesis software_engineering by emanuel and 1 other user on Apr 18, 2008, 5:29 PM
URL | 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)
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