## 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)

- 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.