|
Conferences in DBLP
- François Fages
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. [Citation Graph (0, 0)][DBLP] LOPSTR, 2005, pp:1-5 [Conf]
- Sergio Antoy, Michael Hanus
Declarative Programming with Function Patterns. [Citation Graph (0, 0)][DBLP] LOPSTR, 2005, pp:6-22 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|