The SCEAS System
Navigation Menu

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 AT: 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002