scientific article
From MaRDI portal
Publication:3698292
zbMath0577.68032MaRDI QIDQ3698292
Patrice Naudin, Maurice Nivat, André Arnold
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticstreesdenotational semanticsultrametric spacegreatest fixed pointHerbrand universenon-deterministic recursive program schemeterminated computations
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Computing in unpredictable environments: semantics, reduction strategies, and program transformations, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes, Recursion-closed algebraic theories, Denotational models for programming languages: Applications of Banach's fixed point theorem, Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
