LOPSTR (LNCS 2042: Selected Papers)

Keyphrases

Publications

2000

Iman Poernomo, John N. Crossley
Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alessandra Di Pierro, Herbert Wiklicky
Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) (2000)
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. LOPSTR (LNCS 2042: Selected Papers) (2000)
Elvira Albert, Sergio Antoy, Germán Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) (2000)
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Automated Strategies for Specializing Constraint Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
A Formal Framework for Synthesis and Verification of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alexander Serebrenik, Danny De Schreye
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) (2000)
Silvija Seres, J. Michael Spivey
Higher-Order Transformation of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Robert Colvin, Ian J. Hayes, Paul A. Strooper
A Technique for Modular Logic Program Refinement. LOPSTR (LNCS 2042: Selected Papers) (2000)