H ? « ‹ ← → › »

Language peer sets for AKL:
Sweden↑
Sweden/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Experimental and other ↑
Experimental and other/1994↑
Experimental and other/se ↑

AKL(ID:2921/akl002)

Agents Kernel Language 

alternate simple view
Country: Sweden
Designed 1994
Published: 1994
Sammet category: Experimental and other

for Agents Kernel Language

Intelligent Systems Laboratory
Swedish Institute of Computer Science.
Concurrent, constraint programming language. Computation is performed by agents interacting through stores of constraints. This notation accommodates multiple programming paradigms; in appropriate contexts, AKL agents may be thought of as processes, objects, functions, relations, and constraints.

Structures:
Related languages
AKL → AKL   Renaming
AKL → Penny   Extension of
References:
  • Sahlin, Dan and Thomas Sjöland. (1993) Sahlin, Dan and Thomas Sjöland. Abstract Syntax and Normalisation of AKL Programs. Appendix to deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce, 6707, 1993.
  • Sahlin, Dan and Thomas Sjöland. (1993) Sahlin, Dan and Thomas Sjöland. Towards an Analysis Tool for AKL. Deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce, 6707, 1993.
  • Brand, Per Enhancing the AKL compiler using global (1994) Brand, Per Enhancing the AKL compiler using global analysis. Deliverable D.WP2.1.3.M2 in the ESPRIT project ParForce, 6707, 1994.
  • Carlson, B.; Carlsson, M.; and D. Diaz. Entailment (1994) Carlson, B.; Carlsson, M.; and D. Diaz. Entailment of Finite Domain Constraints"
          in [Proceedings] (1994) Proceedings of the Eleventh International Conference of Logic Programming, MIT Press Series in Logic Programming, 1994
  • Carlson, B.; Janson, S. ; and Haridi, S. (1994) Carlson, B.; Janson, S. ; and Haridi, S. "AKL(FD): A concurrent language for FD programming"
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • Janson, Sverker AKL - A Multiparadigm Programming (1994) Janson, Sverker AKL - A Multiparadigm Programming Language. SICS Dissertation Series 14. Uppsala Theses in Computing Science 19. Uppsala University, Sweden, June 1994. ISBN 91-506-1046-5.
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • (1994) PARallel FORmal Computing Environment (ESPRIT Basic Research) EATCS 1994 Report Abstract Extract: Parallel Logic Programming Platforms
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • Sahlin, Dan and Thomas Sjöland. (1994) Sahlin, Dan and Thomas Sjöland. Fixpoint Analysis of Type and Alias in AKL programs. Deliverable D.WP1.6.1.M2 in the ESPRIT project ParForce, 6707, 1994.
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • Sahlin,.Dan Specification of a Partial Evaluator (1994) Sahlin,.Dan Specification of a Partial Evaluator for AKL. Deliverable D.WP1.4.2.M2 in the ESPRIT project ParForce, 6707, 1994.
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • Sjöland, Thomas and Dan Sahlin. (1994) Sjöland, Thomas and Dan Sahlin. Fixpoint Analysis of Types and Alias in AKL Programs. SICS report R94:13b. 1994 Abstract
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
  • (1994) Torkel Franzén Some Formal Aspects of AKL SICS R94-10 Abstract
          in [Proceedings] (1994) Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder