Patricia M. Hill
Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation
LOPSTR, 2005.

@proceedings{LOPSTR-2005,
	address       = "London, England, United Kingdom",
	editor        = "Patricia M. Hill",
	isbn          = "3-540-32654-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation}",
	volume        = 3901,
	year          = 2005,
}

Contents (11 items)

6 ×#source code
3 ×#logic programming
2 ×#type system

LOPSTR-2005-Fages #automaton #constraints #logic

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.

LOPSTR-2005-AntoyH #declarative #programming

Declarative Programming with Function Patterns (SA, MH), pp. 6–22.

LOPSTR-2005-PettorossiPS #array #protocol #using #verification

Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.

LOPSTR-2005-SimonMG #design #implementation #realtime

Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.

LOPSTR-2005-AlvezL #algorithm #logic programming #source code

An Algorithm for Local Variable Elimination in Normal Logic Programs (JÁ, PL), pp. 61–79.

LOPSTR-2005-OchoaPH #prolog #source code

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.

LOPSTR-2005-SuenagaKY #approach #automation #generative #source code #type system

Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (KS, NK, AY), pp. 98–114.

LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.

LOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.

LOPSTR-2005-GallagherPA #abstract domain #type system

Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.

LOPSTR-2005-CorreasPHB #analysis #composition #source code

Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.