Programming languages and their definition. Selected papers ed. by C. B. Jones
From MaRDI portal
Publication:799361
zbMATH Open0548.68004MaRDI QIDQ799361FDOQ799361
Authors: H. Bekič
Publication date: 1984
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
- Instantiation for Parameterised Boolean Equation Systems
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Make flows small again: revisiting the flow framework
- Operations on fixpoint equation systems
- Parametrized fixed points and their applications to session types
- 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
- Title not available (Why is that?)
- 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
Uses Software
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)