Alberto Pettorossi
Selected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation
LOPSTR, 2001.

@proceedings{LOPSTR-2001,
	address       = "Paphos, Cyprus",
	editor        = "Alberto Pettorossi",
	isbn          = "3-540-43915-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation}",
	volume        = 2372,
	year          = 2001,
}

Contents (14 items)

3 ×#logic
2 ×#logic programming
2 ×#proving
2 ×#set
2 ×#using

LOPSTR-2001-Shankar #functional #static analysis

Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.

LOPSTR-2001-PotikasRG #datalog #nondeterminism #source code

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.

LOPSTR-2001-KakehiGF #deforestation #on the #parametricity

On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.

LOPSTR-2001-OsorioNA #equivalence #programming #set

Equivalence in Answer Set Programming (MO, JANP, JA), pp. 57–75.

LOPSTR-2001-DelzannoE #debugging #logic programming #protocol #proving #security

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols (GD, SE), pp. 76–90.

LOPSTR-2001-LeuschelG #deduction #model checking #using

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking (ML, SG), pp. 91–110.

LOPSTR-2001-FioravantiPP #infinity #process #program transformation #set #using #verification

Verification of Sets of Infinite State Processes Using Program Transformation (FF, AP, MP), pp. 111–128.

LOPSTR-2001-VanhoofB #matter

When Size Does Matter (WV, MB), pp. 129–147.

LOPSTR-2001-AlbertV #declarative #multi #profiling

Symbolic Profiling for Multi-paradigm Declarative Languages (EA, GV), pp. 148–167.

LOPSTR-2001-LauO #logic #object-oriented

Correct Object-Oriented Systems in Computational Logic (KKL, MO), pp. 168–190.

LOPSTR-2001-FerreR #framework #logic

A Framework for Developing Embeddable Customized Logics (SF, OR), pp. 191–215.

LOPSTR-2001-AlferesBLP #behaviour #logic programming

Computing Environment-Aware Agent Behaviours with Logic Program Updates (JJA, AB, JAL, LMP), pp. 216–232.

LOPSTR-2001-Caldwell #recursion #type system

Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.

LOPSTR-2001-FerrariFO #bound #logic #proving

Extracting Exact Time Bounds from Logical Proofs (MF, CF, MO), pp. 245–266.