SICStus Prolog -- the first 25 years
type: Item
instance of: scholarly article
zbMATH Open document ID: 1244.68016
DOI: 10.1017/S1471068411000482
author: Mats Carlsson
author: Per Mildner
published in: Theory and Practice of Logic Programming
publication date: 2012-06-25T00:00:00Z
full work available at URL: https://arxiv.org/abs/1011.5640
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68-03
zbMATH DE Number: 6049752
zbMATH Keywords: Prolog
zbMATH Keywords: logic programming system
zbMATH Keywords: virtual machine
zbMATH Keywords: compilers
zbMATH Keywords: memory management
describes a project that uses: SICStus
describes a project that uses: SPARK
MaRDI profile type: Publication
arXiv ID: 1011.5640
cites work: A nonrecursive list compacting algorithm
cites work: Q5452362
Recommended article: Fifty Years of Prolog and Beyond
Recommended article: Prolog: the next 50 years
Recommended article: 25 Years of Applications of Logic Programming in Italy
Recommended article: 1983–1993: The wonder years of sequential Prolog implementation
Recommended article: Twenty years of rewriting logic
Recommended article: Twenty Years of Rewriting Logic
Recommended article: Q4256671
Recommended article: A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
Recommended article: Trends in logic. 50 years of Studia Logica
Recommended article: Q3108633
title: SICStus Prolog -- the first 25 years
description: scientific article; zbMATH DE number 6049752