A uniform treatment of order of evaluation and aggregate update
type: Item
instance of: scholarly article
title: A uniform treatment of order of evaluation and aggregate update
zbMATH Open document ID: 0779.68012
DOI: 10.1016/0304-3975(93)90110-F
published in: Theoretical Computer Science
publication date: 1993-10-28T00:00:00Z
review text: The article presents an algorithm for the destructive update optimization in first-order lazy functional languages. The main component of the method is a new static analysis of the order of evaluation of expressions which, compared to other published work, has a much lower complexity and is not restricted to pure lazy evaluation. The other component, which we call reduction to variables, is a method of detecting the variables which denote locations where the result of an expression might be stored. Starting with the operational semantics of the language, we introduce some markers for the values in the basic domain. By appropriately choosing the set of markers \(M\) and the method of propagating them during evaluation, we can extract some property of the evaluation in which an expression can participate in by looking at the marker of its value. We define then an equivalent denotational semantics and derive the above analyses, in an uniform way, by abstract interpretation over a subdomain of \(P(M_ \perp)\).
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 417336
zbMATH Keywords: abstract interpretation
zbMATH Keywords: destructive update
zbMATH Keywords: functional languages
zbMATH Keywords: denotational semantics
author: Mircea Draghicescu
author: Sudarshan P. Purushothaman
MaRDI profile type: Publication
cites work: Q3787437
cites work: Strictness analysis for higher-order functions
cites work: Q4692880
cites work: LCF considered as a programming language
cites work: Detecting global variables in denotational specifications
cites work: Detecting stack-based environments in denotational definitions
cites work: Q3969890
full work available at URL: 0304-3975(93)90110-f
OpenAlex ID: W2053513491
description: scientific article; zbMATH DE number 417336