scientific article
From MaRDI portal
Publication:4038658
zbMath0765.68014MaRDI QIDQ4038658
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ On the structural simplicity of machines and languages ⋮ Wrapper semantics of an object-oriented programming language with state ⋮ On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues ⋮ Unnamed Item ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ A Notion of Glue Expressiveness for Component-Based Systems ⋮ Call-by-name Gradual Type Theory ⋮ A proof-theoretic foundation of abortive continuations ⋮ A type-theoretic foundation of delimited continuations ⋮ On abstraction and the expressive power of programming languages ⋮ Unnamed Item
This page was built for publication: