Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers > A Framework for Developing Embeddable Customized Logics
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers |
Alberto Pettorossi
Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
A Framework for Developing Embeddable Customized Logics
Authors

Sébastien Ferré; Olivier Ridoux

ARI Id

1674219939696_4101010

Access

Not Available Free

Pages

191-215

DOI

10.1007/3-540-45607-4_11

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-45607-4_11

Table of Contents of Book
Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-VIII
Static Analysis for Safe Destructive Updates in a Functional Language
Natarajan Shankar
1-24
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
Petros Potikas; Panos Rondogiannis; Manolis Gergatsoulis
25-45
On Deforesting Parameters of Accumulating Maps
Kazuhiko Kakehi; Robert Glück; Yoshihiko Futamura
46-56
Equivalence in Answer Set Programming
Mauricio Osorio; Juan A. Navarro; José Arrazola
57-75
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
Giorgio Delzanno; Sandro Etalle
76-90
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
Michael Leuschel; Stefan Gruner
91-110
Verification of Sets of Infinite State Processes Using Program Transformation
Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti
111-128
When Size Does Matter
Wim Vanhoof; Maurice Bruynooghe
129-147
Symbolic Profiling for Multi-paradigm Declarative Languages
Elvira Albert; Germán Vidal
148-167
Correct Object-Oriented Systems in Computational Logic
Kung-Kiu Lau; Mario Ornaghi
168-190
A Framework for Developing Embeddable Customized Logics
Sébastien Ferré; Olivier Ridoux
191-215
Computing Environment-Aware Agent Behaviours with Logic Program Updates
José J. Alferes; Antonio Brogi; João A. Leite; Luís M. Pereira
216-232
Extracting General Recursive Program Schemes in Nuprl’s Type Theory
James L. Caldwell
233-244
Extracting Exact Time Bounds from Logical Proofs
Mauro Ferrari; Camillo Fiorentini; Mario Ornaghi
245-265
Back Matter
267-267
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings