Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th LOPSTR 2001: Paphos, Cyprus
- Alberto Pettorossi:
Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Lecture Notes in Computer Science 2372, Springer 2001, ISBN 3-540-43915-3
Invited Speaker
- Natarajan Shankar:
Static Analysis for Safe Destructive Updates in a Functional Language. 1-24
Program Transformation and Equivalence
- Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis:
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. 25-45 - Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura:
On Deforesting Parameters of Accumulating Maps. 46-56 - Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Equivalence in Answer Set Programming. 57-75
Program Verification
- Giorgio Delzanno, Sandro Etalle:
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. 76-90 - Michael Leuschel, Stefan Gruner:
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. 91-110 - Fabio Fioravanti
, Alberto Pettorossi, Maurizio Proietti:
Verification of Sets of Infinite State Processes Using Program Transformation. 111-128
Program Analysis
- Wim Vanhoof, Maurice Bruynooghe:
When Size Does Matter. 129-147 - Elvira Albert, Germán Vidal:
Symbolic Profiling for Multi-paradigm Declarative Languages. 148-167
Program Development
- Kung-Kiu Lau, Mario Ornaghi:
Correct Object-Oriented Systems in Computational Logic. 168-190 - Sébastien Ferré, Olivier Ridoux:
A Framework for Developing Embeddable Customized Logics. 191-215 - José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Computing Environment-Aware Agent Behaviours with Logic Program Updates. 216-232
Program Synthesis
- James L. Caldwell:
Extracting General Recursive Program Schemes in Nuprl's Type Theory. 233-244 - Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi:
Extracting Exact Time Bounds from Logical Proofs. 245-266
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
