Sverker Janson, Seif Haridi  Home/Search
Context Related
Links: DBLP | sics.se/~sverker/pub...aklsicsr9108.pdf 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/~sverker/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive processes. It is also possible to write a multi-way merger with constant delay. In these respects AKL is ... (Update)
Cited by: More
WWW Programming using Computational Logic Systems - And The Pillow (Correct)
Some Challenges for Constraint Programming - Hermenegildo (1997) (Correct)
Some Methodological Issues in the Design of CIAO, a Generic.. - Hermenegildo (1994) (Correct)
Similar documents (at the sentence level):
72.2%: Programming Paradigms of the Andorra Kernel Language - Janson (1991) (Correct)
Active bibliography (related documents): More All
0.3: Structural Operational Semantics for AKL - Haridi, Janson, Palamidessi (1992) (Correct)
0.3: An Overview of the Andorra Kernel Language - Franzen, Haridi, Janson (1992) (Correct)
0.1: An Automated Framework For Managing Design Complexity - Jacobs (1998) (Correct)
Similar documents based on text: More All
0.6: Concurrent Constraint Programming at SICS with the Andorra.. - Haridi, Janson, al. (1993) (Correct)
0.5: A Parallel Implementation of the Andorra Kernel Language - Palmer (1997) (Correct)
Related documents from co-citation: More All
29: Logic semantics for a class of committed-choice programs (context) - Maher - 1987
23: Concurrent Constraint Programming (context) - Saraswat - 1990
21: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
BibTeX entry: (Update)
Sverker Janson and Seif Haridi. Programming paradigms of the Andorra kernel language. In Vijay Saraswat and Kazunori Ueda, editors, Logic Programming, Proceedings of the 1991 International Symposium, pages 167--186, San Diego, USA, 1991. The MIT Press. http://citeseer.ist.psu.edu/janson91programming.html More
@inproceedings{ sverker91programming,
author = "Janson, Sverker and Haridi, Seif",
title = "Programming Paradigms of the {A}ndorra Kernel Language",
booktitle = "Logic Programming, Proceedings of the 1991 International Symposium",
publisher = "The MIT Press",
address = "San Diego, USA",
editor = "Saraswat, Vijay and Ueda, Kazunori",
pages = "167--186",
year = "1991",
url = "citeseer.ist.psu.edu/janson91programming.html" }
Citations (may not include all citations):17 Department of Computer Science (context) - Bristol - 1990
3 Swedish Institute of Computer Science (context) - Report - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/~sverker/publications.html): More
Simulated Social Control for Secure Internet Commerce - Rasmusson, Janson (1996) (Correct)
AKL(FD) - A concurrent language for FD programming - Carlson, Haridi, Janson (Correct)
To Each and Everyone an Agent: Augmenting Web-Based.. - Eriksson, Finne, Janson (1998) (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