Items where Year is 1987
Number of items: 13.
Ali, Khayri Mohammed (1987) A method for implementing out in parallel execution of Prolog. [SICS Report]
Ali, Khayri Mohammed and Haridi, Seif (1987) Global garbage collection for distributed heap storage systems. [SICS Report]
Carlsson, Mats (1987) Freeze, indexing, and other implementation issues in the WAM. In: Proceedings of the 4th International Conference on Logic Programming (ICLP'87), May 1987, Melbourne, Australia.
Franzén, Torkel (1987) Algorithmic aspects of intuitionistic propositional logic. [SICS Report]
Gadener, Carl and Lidén, Mikael and Riboe, Jens (1987) ORPWAM An implementation study, part 1. [SICS Report]
Gunningberg, Per (1987) Innovative communication processors: A survey. [SICS Report]
Hausman, Bogumil and Ciepielewski, Andrzej and Haridi, Seif (1987) OR-parallel Prolog made efficient on shared memory multiprocessors. [SICS Report]
Holmgren, Fredrik and Waern, Annika (1987) A scheme for compiling GHC to prolog using freeze. [SICS Report]
Mathieu, Philippe (1987) Towards the realization of the database designer's apprentice, Part 1: General introduction. [SICS Report]
Rayner, Manny and Janson, Sverker (1987) Epistemic reasoning, logic programming, and the interpretation of questions. [SICS Report]
Sahlin, Dan (1987) Making garbage collection independent of the amount of garbage. [SICS Report]
Sjödin, Peter (1987) Optimizing protocol implementations for performance: a case study. [SICS Report]
Sjödin, Peter (1987) Optimizing protocol implementations for performance: a case study. Licentiate thesis, University of Uppsala.