(Enter summary)
Abstract: This thesis reports on an investigation into principles for combining the constraint solving and don't know nondeterministic capabilities of Prolog and the constraint logic programming languages with the process-describing capabilities of concurrent logic languages such as GHC. The result, AKL, is a coherent language supporting multiple programming paradigms, such as concurrent, object-oriented, functional, logic, and constraint programming. In addition, AKL offers a large potential for... (Update)
Context of citations to this paper: More
...notably the distributed garbage collection algorithm. An important subsequent development was AKL (Andorra Kernel Language) [56, 55, 57], which added state (in the form of ports) encapsulated search, and an e#cient implementation of deep guards. AKL is the first language...
Cited by: More
PEer-to-Peer Implementation and TheOry: Report on Mobile .. - Havelka, Haridi, Schulte (2004)
(Correct)
Constraint Programming for Natural Language Processing - Duchier (2000)
(Correct)
Using SimICS to Evaluate the Penny System - Montelius, Magnusson (1997)
(Correct)
Similar documents (at the sentence level):
5.1%: Ports for Objects in Concurrent Logic Programs - Janson, Montelius, Haridi (1993)
(Correct)
Active bibliography (related documents): More All
0.1: Improving Backward Execution in the Andorra Family of.. - Abreu, Pereira, Codognet (1992)
(Correct)
0.1: Distributing And- and Or-Work in the Andorra-I Parallel Logic.. - Dutra (1995)
(Correct)
0.0: Parallel Logic Programming With Extensions - Pereira, Cunha, Damas (1995)
(Correct)
Similar documents based on text: More All
0.4: Multicast in DKS(N,k,f) Overlay Networks - Alima, Ghodsi, Brand, Haridi
(Correct)
0.4: Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002)
(Correct)
0.3: Self-Correcting Broadcast in Distributed Hash Tables - Ghodsi, Alima, El-Ansary.. (2003)
(Correct)
Related documents from co-citation: More All
14: Programming paradigms of the Andorra kernel language
- Janson, Haridi - 1991
11: The Oz programming model
- Smolka - 1995
9: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or..
- Costa, Warren et al. - 1991
BibTeX entry: (Update)
Sverker Janson. AKL---A Multiparadigm Programming Language. Uppsala theses in computing science 19, Uppsala University, June 1994. (Also available as SICS Dissertation Series 14.). http://citeseer.ist.psu.edu/janson94akl.html More
@misc{ janson94akl,
author = "S. Janson",
title = "AKL---A Multiparadigm Programming Language",
text = "Sverker Janson. AKL---A Multiparadigm Programming Language. Uppsala theses
in computing science 19, Uppsala University, June 1994. (Also available
as SICS Dissertation Series 14.).",
year = "1994",
url = "citeseer.ist.psu.edu/janson94akl.html" }
Citations (may not include all citations):
395
An abstract Prolog instruction set (context) - David - 1983
42
The Extended Andorra Model with implicit control (context) - David - 1989
12
Solving simple substitution ciphers in Andorra (context) - Rong - 1989
1
Workshop record available from SICS (context) - the, Preconference et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/isl/papers/older.html): More
Concurrent Constraint Programming at SICS with the .. - Haridi, Janson.. (1993)
(Correct)
Ports for Objects in Concurrent Logic Programs - Janson, Montelius, Haridi (1993)
(Correct)
Automatic Frequency Assignment for Cellular Telephones Using .. - Carlsson, Grindal (1993)
(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