scientific article; zbMATH DE number 51766
From MaRDI portal
Publication:4002146
zbMATH Open0743.68028MaRDI QIDQ4002146FDOQ4002146
Authors:
Publication date: 18 September 1992
Title of this publication is not available (Why is that?)
Recommendations
- Descriptological foundations of programming
- Concepts in Programming Languages
- A formal model of programs
- scientific article; zbMATH DE number 194512
- scientific article; zbMATH DE number 1821297
- Formal descriptions of code properties: decidability, complexity, implementation
- Computer programming and formal systems
- Toward complete programming language descriptions that are both formal and understandable
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (9)
- Title not available (Why is that?)
- Modular structural operational semantics
- Linearity, control effects, and behavioral types
- A family of syntactic logical relations for the semantics of Haskell-like languages
- Typed operational semantics for higher-order subtyping.
- Formal descriptions of code properties: decidability, complexity, implementation
- Abstract interpretation and types for systems biology
- Title not available (Why is that?)
- No value restriction is needed for algebraic effects and handlers
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 Q4002146)
