Programming languages and their definition. Selected papers ed. by C. B. Jones
From MaRDI portal
(Redirected from Publication:799361)
Recommendations
- scientific article; zbMATH DE number 2021769
- Programming languages: Principles and paradigms
- scientific article; zbMATH DE number 400623
- scientific article; zbMATH DE number 1178948
- Programming languages and operational semantics. A concise overview
- Theories of Programming Languages
- Programming languages: Design, analysis, and semantics
- Programming languages and operational semantics. An introduction.
- scientific article; zbMATH DE number 756366
- scientific article; zbMATH DE number 3924098
Cited in
(19)- Categorical fixed point calculus
- An extensional fixed-point semantics for nondeterministic data flow
- Three notes on the complexity of model checking fixpoint logic with chop
- A linear translation from CTL^* to the first-order modal -calculus
- Instantiation for Parameterised Boolean Equation Systems
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Make flows small again: revisiting the flow framework
- Parametrized fixed points and their applications to session types
- Operations on fixpoint equation systems
- Temporal Logic with Recursion.
- Model checking and boolean graphs
- Two-level semantics and code generation
- A brief history of process algebra
- Predicate liftings and functor presentations in coalgebraic expression languages
- scientific article; zbMATH DE number 2021769 (Why is no real title available?)
- Parallel constructions of maximal path sets and applications to short superstrings
- The modal mu-calculus alternation hierarchy is strict
- On rational definitions in complete algebras without rank
- Model checking timed recursive CTL
This page was built for publication: Programming languages and their definition. Selected papers ed. by C. B. Jones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799361)
