A uniform treatment of order of evaluation and aggregate update

DOI10.1016/0304-3975(93)90110-FzbMath0779.68012OpenAlexW2053513491MaRDI QIDQ685390

Mircea Draghicescu, Sudarshan P. Purushothaman

Publication date: 28 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90110-f

zbMATH Keywords

functional languagesdenotational semanticsabstract interpretationdestructive update

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A type system with usage aspects

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strictness analysis for higher-order functions
• Detecting stack-based environments in denotational definitions
• LCF considered as a programming language
• Detecting global variables in denotational specifications

This page was built for publication: A uniform treatment of order of evaluation and aggregate update