Publication:5636307
From MaRDI portal
zbMath0228.68016MaRDI QIDQ5636307
Publication date: 1971
68Q55: Semantics in the theory of computing
Related Items
Rewriting on cyclic structures: Equivalence between the operational and the categorical description, Iterative factor algebras and induced metrics, Algebraic domain equations, P-varieties - a signature independent characterization of varieties of ordered algebras, Order completion monads, Infinite-word languages and continuous mappings, L.P.L. A fuzzy programming language. I: Syntactic aspects, Metric interpretations of infinite trees and semantics of non deterministic recursive programs, Partially additive categories and flow-diagram semantics, L.P.L. - A fuzzy programming language. II: Semantic aspects, Unique fixed points vs. least fixed points, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, Varieties of chain-complete algebras, Petri nets, event structures and domains. I, An algebraic definition for control structures, Recursion-closed algebraic theories, Tree constructions of free continuous algebras, The IO- and OI-hierarchies, Fixed point theorems and semantics: A folk tale, Regular trees and the free iterative theory, On rational definitions in complete algebras without rank, Varieties of ordered algebras, Una classe di schemi ricorsivi non-deterministici paralleli, Program invariants as fixedpoints, The equational logic of fixed points, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Translatability of schemas over restricted interpretations, On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs, Positive varieties of tree languages, A concrete realization of the Hoare powerdomain, Parallélisation sémantique, Unnamed Item, Unnamed Item, Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes, Algebraic specification of data types: A synthetic approach, Unnamed Item, Recursive data structures
