Conferences in DBLP

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

1. Elvira Albert, Sergio Antoy, Germán Vidal
   Measuring the Effectiveness of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
2. Wim Vanhoof, Maurice Bruynooghe
   Towards a modular binding-time analysis for higher-order Mercury. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
3. Silvija Seres, J. Michael Spivey
   Higher-order transformation of logic programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
4. Alexander Serebrenik, Danny De Schreye
   Non-tranformational termination analysis of logic programs, based on general term-orderings. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
5. Iman Poernomo, John N. Crossley
   Protocols between programs and proofs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
6. Alessandra Di Pierro, Herbert Wiklicky
   On the precision of abstract interpretations. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
7. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
   Specifying Prolog trace models with a continuation semantics. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
8. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
   A model for inter-module analysis and optimizing compilation. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
9. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
   Automated strategies for specializing constraint logic programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2000, pp:- [Conf]
   
10. Walter W. Wilson
    A minimal specification language. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
    
11. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
    
12. Bart Demoen
    Prolog and abduction 4 writing garbage collectors. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
    
13. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A formal framework for synthesis and verification of logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
    
14. Sandro Etalle, Jon Mountjoy
    The lazy functional side of logic programming. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
    
15. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A Formal Framework for Synthesis and Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:1-17 [Conf]
    
16. Iman Poernomo, John N. Crossley
    Protocols between Programs and Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:18-37 [Conf]
    
17. Robert Colvin, Ian J. Hayes, Paul A. Strooper
    A Technique for Modular Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:38-56 [Conf]
    
18. Silvija Seres, J. Michael Spivey
    Higher-Order Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:57-68 [Conf]
    
19. Alexander Serebrenik, Danny De Schreye
    Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:69-85 [Conf]
    
20. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
    A Model for Inter-module Analysis and Optimizing Compilation. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
    
21. Elvira Albert, Sergio Antoy, Germán Vidal
    Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:103-124 [Conf]
    
22. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Automated Strategies for Specializing Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:125-146 [Conf]
    
23. Alessandra Di Pierro, Herbert Wiklicky
    Measuring the Precision of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:147-164 [Conf]
    
24. Erwan Jahier, Mireille Ducassé, Olivier Ridoux
    Specifying Prolog Trace Models with a Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:165-182 [Conf]