Conferences in DBLP

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

1. François Fages
   Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:1-5 [Conf]
   
2. Sergio Antoy, Michael Hanus
   Declarative Programming with Function Patterns. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:6-22 [Conf]
   
3. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
   Transformational Verification of Parameterized Protocols Using Array Formulas. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:23-43 [Conf]
   
4. Luke Simon, Ajay Mallya, Gopal Gupta
   Design and Implementation of A_T: A Real-Time Action Description Language. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:44-60 [Conf]
   
5. Javier Álvez, Paqui Lucio
   An Algorithm for Local Variable Elimination in Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:61-79 [Conf]
   
6. Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
   Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:80-97 [Conf]
   
7. Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
   Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:98-114 [Conf]
   
8. Elvira Albert, Germán Puebla, John P. Gallagher
   Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:115-132 [Conf]
   
9. Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
   A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:133-146 [Conf]
   
10. John P. Gallagher, Germán Puebla, Elvira Albert
    Converting One Type-Based Abstract Domain to Another. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:147-162 [Conf]
    
11. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
    Experiments in Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:163-178 [Conf]