Seif Haridi, Sverker Janson  Home/Search
Context Related
Links: ACM DBLP | sics.se/pub/SICSr...R9002SE.ps.Z 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: sics.se/libabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and nondeterministic transformational languages may be specified. The framework is based on constraints. The languages Prolog, GHC, Parlog, and Atomic Herbrand, are all executable in the Kernel Andorra Prolog computation model. There are instances of the framework in which all of these languages are embeddable. ... (Update)
Context of citations to this paper: More
...for the incremental aspects of the operational semantics of flat guards. The tree rewriting semantics specifying the Extended Andorra Model [9] and the structural operational semantics for AKL [10] turned out to be more helpful. Finally, we learned from the setup of the...
.... an approach is exempli ed by the Andorra principle, proposed in [51] which is at the core of languages such as Andorra I [18] and AKL [25], and favors deterministic computations by delaying non determinate goals as long as some determinate one exists in the resolvent. Indeed,...
Cited by: More
Information Societies Technology - Ist Programme Contract (Correct)
From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (Correct)
Similar documents (at the sentence level):
24.7%: Kernel Andorra Prolog and its Computation Model - Haridi, Janson (1992) (Correct)
Active bibliography (related documents): More All
1.1: Structural Operational Semantics for AKL - Haridi, Janson (1992) (Correct)
0.1: Programming Paradigms of the Andorra Kernel Language - Janson (1991) (Correct)
0.1: Compilation Techniques for Prolog - Lindgren (1996) (Correct)
Similar documents based on text: More All
0.5: An Overview of the Andorra Kernel Language - Franzen, Haridi, Janson (1992) (Correct)
0.5: Concurrent Constraint Programming at SICS with the Andorra.. - Haridi, Janson, al. (1993) (Correct)
Related documents from co-citation: More All
31: Logic semantics for a class of committed-choice programs (context) - Maher - 1987
24: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
23: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
BibTeX entry: (Update)
S. Haridi and S. Janson, Kernel Andorra Prolog and its Computation Model, Seventh Int Conference on Logic Programming, MIT Press 1990, pp. 31-46. http://citeseer.ist.psu.edu/article/haridi90kernel.html More
@inproceedings{ haridi90kernel,
author = "Haridi, S. and Janson, S.",
title = "Kernel Andorra {P}rolog and its Computation Model",
booktitle = "Proceedings of the Seventh International Conference on Logic Programming",
publisher = "The MIT Press",
address = "Jerusalem",
editor = "David H. D. Warren and Peter Szeredi",
pages = "31--46",
year = "1990",
url = "citeseer.ist.psu.edu/article/haridi90kernel.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1989
28 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
19 A Logic Programming Language Based on the Andorra Model (context) - Haridi
14 Presented at Gigalips workshop (context) - Warren, Principle - 1987
12 Solving Simple Substitution Ciphers in Andorra (context) - Yang - 1989
2 Programming in Andorra Prolog (context) - Saraswat - 1989
2 Presented at the Swedish-Japanese-Italian workshop (context) - Kornfeld, in et al. - 1989
1 Implementation Notes on Andorra (context) - Yang
1 Andorra Implementation Proposal (context) - Brand - 1989
1 an Integration of Prolog and Committed Choice Languages (context) - Prolog - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/libabstracts.html): More
A Host Interface to the DTM Network - Ahlgren, Pink, Lindgren.. (1992) (Correct)
View-Invariant Regions and Mobile Robot Self-Localization - Simsarian, Olson.. (1996) (Correct)
A Finitary Version of the Calculus of Partial Inductive Definitions - Eriksson (1992) (Correct)
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