15 papers:
PADL-2004-LopesCS- Pruning in the Extended Andorra Model (RL, VSC, FMAS), pp. 120–134.
ICLP-2003-LopesCS #on the- On Deterministic Computations in the Extended Andorra Model (RL, VSC, FMAS), pp. 407–421.
- PADL-2001-LopesCS #implementation #novel
- A Novel Implementation of the Extended Andorra Model (RL, VSC, FMAS), pp. 199–213.
- ICLP-1994-Janson #implementation
- Implementation of Andorra-based Languages (SJ), pp. 9–10.
- ICLP-1994-MoolenaarD #hybrid
- Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.
LOPSTR-1993-OlmedillaBH #automation #independence- Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.
- ICLP-1993-YangBDCW #performance
- Performance of the Compiler-Based Andorra-I System (RY, TB, IdCD, VSC, DHDW), pp. 150–166.
- JICSLP-1992-AbreuPC #execution #product line
- Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.
PPoPP-1991-CostaWY #named #parallel #prolog- Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism (VSC, DHDW, RY), pp. 83–93.
- ICLP-1991-CostaWY #preprocessor #prolog
- The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.
- ICLP-1991-CostaWY91a #implementation #parallel
- The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model (VSC, DHDW, RY), pp. 825–839.
- ICLP-1991-Haridi #logic programming #parallel #principle
- Parallel Logic Programming based on the Andorra Principle (SH), p. 943.
- ICLP-1991-PalmerN #named #parallel #prolog
- NUA-Prolog: An Extension to the WAM for Parallel Andorra (DP, LN), pp. 429–442.
- ISLP-1991-JansonH #kernel #paradigm #programming
- Programming Paradigms of the Andorra Kernel Language (SJ, SH), pp. 167–183.
- CLP-1990-HaridiJ90 #kernel #prolog
- Kernel Andorra Prolog and its Computation Model (SH, SJ), pp. 31–46.
