Formal models for some features of programming languages

From MaRDI portal

Revision as of 01:40, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5402520

Jump to:navigation, search

DOI10.1145/800169.805435zbMath1282.68090OpenAlexW1968131662MaRDI QIDQ5402520

H. P. Zeiger

Publication date: 14 March 2014

Published in: Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800169.805435

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (2)

Semantics of probabilistic programs ⋮ Program equivalence and context-free grammars

This page was built for publication: Formal models for some features of programming languages

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5402520&oldid=20136281"