Andreas Podelski, Gert Smolka  Home/Search
Context Related
| info.ucl.ac.be/peo...dreas.semantics.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: info.ucl.ac.be/people/PV...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The semantics of constraint logic programming languages with coroutining facilities (e.g., "freeze," suspension, residuation) cannot be fully declarative. Thus, an operational semantics has to be taken as the defining one. We give a formal operational semantics for a Prolog-like language with cut and entailment-based conditional. Our approach is derived from those used for concurrent calculi. We use congruence laws and tree-rewriting rules to define the semantics. We model the execution of a... (Update)
Context of citations to this paper: More
.... with advanced control mechanisms such as delaying, coroutining, synchronization, committed choice and local computation spaces [2, 5, 47, 38]. We furthermore show that FT has the independence property if the set of features provided by the signature is infinite. Thanks...
...semantics (e.g. 7, 8] which consist of various small step semantics for the di#erent language constructs. Podelski and Smolka [19] defined an operational semantics for constraint logic programs with coroutining in order to specify the interaction of backtracking, cut,...
Cited by: More
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Programming Autonomous Robots in Curry - Hanus, Höppner (2002) (Correct)
Operational Semantics for Lazy Functional Logic Programs - Albert, Hanus, Huch.. (2002) (Correct)
Similar documents (at the sentence level):
68.7%: Operational Semantics of Constraint Logic Programs with.. - Podelski, Gert (1995) (Correct)
Active bibliography (related documents): More All
0.2: A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994) (Correct)
0.2: A Constraint-Based Recast of ML-Polymorphism (Extended Abstract) - Müller (Correct)
0.2: The Beauty and Beast Algorithm: Quasi-Linear Incremental.. - Podelski, van Roy (1994) (Correct)
Similar documents based on text: More All
0.5: Situated Simplification - Podelski, Smolka (1995) (Correct)
0.4: Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1993) (Correct)
0.4: A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (Correct)
Related documents from co-citation: More All
11: Logic semantics for a class of committed-choice programs (context) - Maher - 1987
10: The Oz programming model - Smolka - 1995
8: Encapsulated search in higher-order concurrent constraint programming - Schulte, Smolka - 1994
BibTeX entry: (Update)
A. Podelski and G. Smolka. Operational semantics of constraint logic programming with coroutining. In Proceedings of ICLP'95, International Conference on Logic Programming, Tokyo, 1995. http://citeseer.ist.psu.edu/article/podelski95operational.html More
@inproceedings{ podelski95operational,
author = "Andreas Podelski and Gert Smolka",
title = "Operational Semantics of Constraint Logic Programs with Coroutining",
booktitle = "International Conference on Logic Programming",
pages = "449-463",
year = "1995",
url = "citeseer.ist.psu.edu/article/podelski95operational.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
194 Functions as Processes (context) - Milner - 1992
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
41 A foundation for higher-order concurrent constraint programm.. - Smolka - 1994
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1993
27 Residuation and guarded rules for constraint logic programmi.. - Smolka - 1993
19 Technology and Science of Informatics (context) - Colmerauer, Kanoui et al. - 1983
18 Automating Control for Logic Programs (context) - Naish - 1985
16 the treatment of cuts in Prolog source-level tools (context) - O'Keefe - 1985
12 A formal operational semantics for languages of type Prolog .. (context) - Borger, Schmitt - 1991
9 Computer Science Department (context) - Naish, db - 1984
5 Digital Equipment Corporation (context) - Ait-Kaci, Dumant et al. - 1993
4 A Confluent Calculus for Higher-order Relational Programming (context) - Niehren, Smolka et al. - 1994
2 en, J. Andersson, S. Andersson, K. Boortz, H. Nilsson, and T.. (context) - Carlsson, Wid - 1991
1 Survey on Constraint Logic Programming (context) - Jaffar, Maher
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC