Conferences in DBLP

International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (lopstr)
2001 (conf/lopstr/2001)

1. Natarajan Shankar
   Static Analysis for Safe Destructive Updates in a Functional Language. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:1-24 [Conf]
   
2. Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
   A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:25-45 [Conf]
   
3. Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
   On Deforesting Parameters of Accumulating Maps. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:46-56 [Conf]
   
4. Mauricio Osorio, Juan A. Navarro, José Arrazola
   Equivalence in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:57-75 [Conf]
   
5. Giorgio Delzanno, Sandro Etalle
   Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:76-90 [Conf]
   
6. Michael Leuschel, Stefan Gruner
   Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:91-110 [Conf]
   
7. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
   Verification of Sets of Infinite State Processes Using Program Transformation. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:111-128 [Conf]
   
8. Wim Vanhoof, Maurice Bruynooghe
   When Size Does Matter. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:129-147 [Conf]
   
9. Elvira Albert, Germán Vidal
   Symbolic Profiling for Multi-paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2001, pp:148-167 [Conf]
   
10. Kung-Kiu Lau, Mario Ornaghi
    Correct Object-Oriented Systems in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:168-190 [Conf]
    
11. Sébastien Ferré, Olivier Ridoux
    A Framework for Developing Embeddable Customized Logics. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:191-215 [Conf]
    
12. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Computing Environment-Aware Agent Behaviours with Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:216-232 [Conf]
    
13. James L. Caldwell
    Extracting General Recursive Program Schemes in Nuprl's Type Theory. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:233-244 [Conf]
    
14. Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
    Extracting Exact Time Bounds from Logical Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:245-266 [Conf]