Abstract is missing.
- Static Analysis for Safe Destructive Updates in a Functional LanguageNatarajan Shankar. 1-24 [doi]
- A Transformation Technique for Datalog Programs Based on Non-deterministic ConstructsPetros Potikas, Panos Rondogiannis, Manolis Gergatsoulis. 25-45 [doi]
- On Deforesting Parameters of Accumulating MapsKazuhiko Kakehi, Robert Glück, Yoshihiko Futamura. 46-56 [doi]
- Equivalence in Answer Set ProgrammingMauricio Osorio, Juan A. Navarro, José Arrazola. 57-75 [doi]
- Proof Theory, Transformations, and Logic Programming for Debugging Security ProtocolsGiorgio Delzanno, Sandro Etalle. 76-90 [doi]
- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model CheckingMichael Leuschel, Stefan Gruner. 91-110 [doi]
- Verification of Sets of Infinite State Processes Using Program TransformationFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 111-128 [doi]
- When Size Does MatterWim Vanhoof, Maurice Bruynooghe. 129-147 [doi]
- Symbolic Profiling for Multi-paradigm Declarative LanguagesElvira Albert, Germán Vidal. 148-167 [doi]
- Correct Object-Oriented Systems in Computational LogicKung-Kiu Lau, Mario Ornaghi. 168-190 [doi]
- A Framework for Developing Embeddable Customized LogicsSébastien Ferré, Olivier Ridoux. 191-215 [doi]
- Computing Environment-Aware Agent Behaviours with Logic Program UpdatesJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. 216-232 [doi]
- Extracting General Recursive Program Schemes in Nuprl s Type TheoryJames L. Caldwell. 233-244 [doi]
- Extracting Exact Time Bounds from Logical ProofsMauro Ferrari, Camillo Fiorentini, Mario Ornaghi. 245-266 [doi]