|
Proceedings of the Workshop on Declarative Programming with Sets (TR)Gianfranco Rossi and B. Jayaraman, Eds.AbstractThis report contains papers presented at the Workshop on Declarative Programming with Sets held in Paris, France, Sept. 28, 1999, in conjunction with the International Conference PLI'99 - Principles, Logics, and Implementations of high-level programming languages . The papers presented here cover the following topics: computable set theory and theorem proving, programming languages with sets, query languages and non-well-founded sets, and applications using set-based languages.
Available: 600 DPI PostScript, BibTeX entry. [Page last updated on January 29, 2002, 11:16:45.] |
|||||||
Enea Zaffanella |
Home | People | Projects | Publications | Seminars | Software | Links |