scientific article

From MaRDI portal

Revision as of 18:52, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3878742

Jump to:navigation, search

zbMath0437.68011MaRDI QIDQ3878742

No author found.

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics programming systems algebraic data types control constructs complexity of algebraic computations complexity of implementations implementations of data types

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (2)

Hierarchies of hyper-AFLs ⋮ Extended macro grammars and stack controlled machines

This page was built for publication:

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