A blue social bookmark and publication sharing system.
bookmarks
(2)
publications
Andreas Hamfelt and Jørgen Fischer Nilsson and Nikolaj Oldager Automated Software Engineering8(2):167--193(
2001)
to ase combilog program_synthesis induction enumerative_ip article combinduce inductive_programming recursion_schemes ilp by emanuel and 1 other person on Apr 20, 2008, 5:55 PMBaudouin Le Charlier and Pierre Flener Journal of Systems and Software40(3):275--296(
1998)
to program_synthesis software_engineering comparison ase formal_methods article position_paper by emanuel and 2 other people on Apr 18, 2008, 5:43 PMPierre Flener and Derek Partridge Automated Software Engineering8(2):131--137(
2001)
to inductive_programming article ase software_engineering program_synthesis position_paper induction by emanuel and 2 other people on Apr 18, 2008, 5:29 PM- to program_transformation program_synthesis deductive_program_synthesis ase program_optimisation article by emanuel and 2 other people on Apr 17, 2008, 12:36 PM
Zohar Manna and Richard Waldinger ACM Transactions on Programming Languages and Systems2(1):90--121(
1980)
to article ase program_synthesis deductive_program_synthesis by emanuel and 2 other people on Apr 17, 2008, 12:29 PMJames McDonald and John Anton KES.U.01.3.. Kestrel Institute, (
2001)
to specware ase techreport program_synthesis kestrel deductive_program_synthesis software_engineering by emanuel on Apr 16, 2008, 4:23 PMDusko Pavlovic and Douglas R. Smith Formal Methods at the Crossroads: From Panacea to Foundational Support, volume2757ofLNCS, page267--286. (
2003)
to ase software_engineering kestrel program_synthesis overview inproceedings deductive_program_synthesis by emanuel on Apr 16, 2008, 4:14 PM
