1. PADL 1999:
San Antonio,
Texas,
USA
Gopal Gupta (Ed.):
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings.
Lecture Notes in Computer Science 1551 Springer 1998, ISBN 3-540-65527-1 BibTeX
@proceedings{DBLP:conf/padl/1999,
editor = {Gopal Gupta},
title = {Practical Aspects of Declarative Languages, First International
Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999,
Proceedings},
booktitle = {PADL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1551},
year = {1998},
isbn = {3-540-65527-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Software Engineering
- Graeme E. Moss, Colin Runciman:
Automated Benchmarking of Functional Data Structures.
1-15
Electronic Edition (Springer LINK) BibTeX
- Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile:
NP-SPEC: An Executable Specification Language for Solving All Problems in NP.
16-30
Electronic Edition (Springer LINK) BibTeX
- Patricio Letelier, Pedro Sánchez, Isidro Ramos:
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.
31-45
Electronic Edition (Springer LINK) BibTeX
- Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise.
46-60
Electronic Edition (Springer LINK) BibTeX
Innovative Applications I
Implementation
Declarative Query Processing
Systems Applications
Analysis
Innovative Applications II
Constraint Programming
Declarative Languages and Software Engineering (Invited)
Copyright © Sat May 16 23:32:19 2009
by Michael Ley (ley@uni-trier.de)
