Searching for "Transforming Constraint Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Transformation of Constraint Logic Programs for Software Specialization and Verification
by Fabio Fioravanti — 2002
… 2002 XIII-02-2 Transformation of Constraint Logic Programs for Software Specialization…
Cited by 4 (3 self) – Add To MetaCart

On the Correctness of the Replacement Operation for CLP Modules
by Sandro Etalle, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, H. Kuchen, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren — 1996
… study the replacement transformation for Constraint Logic Programming modules. We define new…
Cited by 4 (3 self) – Add To MetaCart

A Transformation System for CLP with Dynamic Scheduling and ccp
by Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori — 1997 — In Proc. of the ACM Sigplan PEPM’97
…. Keywords: Program's Transformation, Constraint Logic Programming, Concurrent Constraint Programming…
Cited by 11 (2 self) – Add To MetaCart

Transformations of CLP Modules
by Sandro Etalle, Maurizio Gabbrielli — 1995 — Theoretical Computer Science
….3. Keywords and Phrases: Program's Transformation, Constraint Logic Programming, Semantics, Modularity. Note…
Cited by 22 (6 self) – Add To MetaCart

A Prolog like temporal reasoning system
by T. Panayiotopoulos, M. Gergatsoulis — 1995 — in Proc. of 13th IASTED International Conference on APPLIED INFORMATICS
… the transformation of an HTRL program to an equivalent Constraint Logic Program is also briefly presented. Keywords…
Cited by 4 (4 self) – Add To MetaCart

Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs
by Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti — 2002 — In Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet
… constraint logic programs and we propose a technique which by making use of a new transformation rule, called…
Cited by 2 (2 self) – Add To MetaCart

Danny De Schreye and Marc Denecker
by Departement Computerwetenschappen, Danny De Schreye, Marc Denecker
…, program analysis, program synthesis and transformation, constraint logic programming, concurrent logic…
Add To MetaCart

Assessment of some issues in CL-theory and program development
by Danny De Schreye, Marc Denecker — 1999 — The Logic Programming Paradigm: a 25 Years Perspective. Springer-Verlag, Arti cial Intelligence Series
… synthesis and transformation, constraint logic programming, concurrent logic programming, functional-logic…
Cited by 3 (2 self) – Add To MetaCart

A Generalized Semantics for Constraint Logic Programs
by Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi — 1992
… to construct models (e.g. fixpoints of continuous transformations) for constraint logic programs…
Cited by 32 (13 self) – Add To MetaCart

ESPRIT Basic Research project Acclaim - Final Report
by Thomas Sjöland, editor — 1996
…]. There has also been some work presented on program transformations for constraint logic programs [2]. 2…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB