scientific article; zbMATH DE number 177780
From MaRDI portal
Publication:4038658
Recommendations
Cited in
(23)- On the expressive power of programming languages
- Expressive power of specification languages
- On abstraction and the expressive power of programming languages
- On the structural simplicity of machines and languages
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- A proof-theoretic foundation of abortive continuations
- Remarks on language extensibility
- On the expressive power of the loop language
- A Notion of Glue Expressiveness for Component-Based Systems
- Expressiveness, meanings and machines
- Musings on encodings and expressiveness
- Call-by-name gradual type theory
- scientific article; zbMATH DE number 7440178 (Why is no real title available?)
- On abstraction and the expressive power of programming languages
- Wrapper semantics of an object-oriented programming language with state
- Tree based decision strategies and auctions in computational multi-agent systems
- Call-by-name gradual type theory
- On expressiveness of a language for describing definitions and process realizations
- The expressive theory of stacks
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
- On the expressiveness and efficiency of guarded lists in Bach
- Expressive power and abstraction in Essence
- A type-theoretic foundation of delimited continuations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038658)
