An abstract interpretation framework for optimizing dynamic modular logic languages
type: Item
instance of: scholarly article
title: An abstract interpretation framework for optimizing dynamic modular logic languages
zbMATH Open document ID: 1022.68501
DOI: 10.1016/0020-0190(96)00051-8
author: Anna Ciampolini
author: Evelina Lamma
author: Paola Mello
published in: Information Processing Letters
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 984590
zbMATH Keywords: programming languages
zbMATH Keywords: logic programming
zbMATH Keywords: program analysis
zbMATH Keywords: implementation
MaRDI profile type: MaRDI publication profile
full work available at URL: 0020-0190(96)00051-8
OpenAlex ID: W2028186370
cites work: Differential logic programs: Programming methodologies and semantics
cites work: Abstract interpretation and application to logic programs
cites work: Q4023285
cites work: Clausal intuitionistic logic I. fixed-point semantics
cites work: A logical analysis of modules in logic programming
cites work: Q4858577
cites work: The Semantics of Predicate Logic as a Programming Language
description: scientific article; zbMATH DE number 984590