Stack method in program semantics

DOI10.1007/BF02943317zbMath0607.68005OpenAlexW2005524845MaRDI QIDQ1085598

Zhaokeng Zhao, Tong Gao Tang

Publication date: 1987

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943317

zbMATH Keywords

PROLOGPASCALdenotational semantics with stacks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Stack method in program semantics