default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2004: Verona, Italy
- Eugenio Moggi, David Scott Warren:
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. ACM 2004, ISBN 1-58113-819-9 - Dirk Beyer
, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. 1-2 - Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. 3-4 - J. Gregory Morrisett:
Invited talk: what's the future for proof-carrying code? 5 - Ehud Shapiro:
Invited talk: injecting life with computers. 6 - Yannis Smaragdakis:
Invited talk: program generators and the tools to make them. 7-8 - José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas:
A logic programming approach to the verification of functional-logic programs. 9-19 - Berndt Farwer, Michael Leuschel:
Model checking object petri nets in prolog. 20-31 - Sava Krstic, John Matthews:
Semantics of the reFLect language. 32-42 - Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A lazy narrowing calculus for declarative constraint programming. 43-54 - Miguel García-Díaz, Susana Nieva:
Providing declarative semantics for HH extended constraint logic programs. 55-66 - Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos:
Constraint-set satisfiability for overloading. 67-77 - Konstantinos Sagonas, Peter J. Stuckey:
Just enough tabling. 78-89 - Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato:
Semi-naive evaluation in linear tabling. 90-97 - Sergio Flesca, Sergio Greco, Ester Zumpano:
Active integrity constraints. 98-107 - Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems. 108-119 - Mircea Marin, Aart Middeldorp:
New completeness results for lazy conditional narrowing. 120-131 - Sébastien Carlier, J. B. Wells:
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. 132-143 - Sergio Antoy, Stephen Johnson:
Formalization and abstract implementation of rewriting with nested rules. 144-154 - Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in a language with control operators. 155-166 - Luigi Liquori, Bernard P. Serpette:
iRho: an imperative rewriting calculus. 167-178 - Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs. 179-190 - Kohei Honda, Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions. 191-202 - Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette:
Scheme fair threads. 203-214 - Nick Benton, Andrew Kennedy, Claudio V. Russo:
Adventures in interoperability: the SML.NET experience. 215-226 - J. Rajesh, D. Janakiram:
JIAD: a tool to infer design patterns in refactoring. 227-237 - Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello:
Event choice datalog: a logic programming language for reasoning in multiple dimensions. 238-249
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-15 01:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
