From operational definitions to abstract semantics

Autor:	S. Purushothaman, Jill Seaman
Rok vydání:	1993
Předmět:	Action semantics Denotational semantics Programming language Operational definition Computer science Semantics of logic computer.software_genre computer Operational semantics
Zdroj:	FPCA
DOI:	10.1145/165180.165224
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::74688f31a4ec9906db1fbc7180d46581 https://doi.org/10.1145/165180.165224 Zobrazit plný text záznamu