scientific article

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

natural semantics interactive computer system semantic specifications

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (58)

Evolution of rule-based programs ⋮ Modular structural operational semantics ⋮ Soundness Conditions for Big-Step Semantics ⋮ Verifiable agent dialogues ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ The Laws of Programming Unify Process Calculi ⋮ A strict functional language with cyclic recursive data ⋮ Simplifying proofs in Fitch-style natural deduction systems ⋮ Action Semantics in Retrospect ⋮ Converting between Combinatory Reduction Systems and Big Step Semantics ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ A two-level logic approach to reasoning about computations ⋮ The complexity of the evaluation of complex algebra expressions ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ Calculating Certified Compilers for Non-deterministic Languages ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ The rewriting logic semantics project: a progress report ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ The expressive power of Structural Operational Semantics with explicit assumptions ⋮ Encoding transition systems in sequent calculus ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ A semantic framework for proof evidence ⋮ The calculus of context relations ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses ⋮ Making ``stricterness more relevant ⋮ Co-induction in relational semantics ⋮ A Calculus for Language Transformations ⋮ Flag-based big-step semantics ⋮ Theo: An interactive proof development system ⋮ Demonstrating Lambda Calculus Reduction ⋮ Concolic Execution in Functional Programming by Program Instrumentation ⋮ A denotational semantics of textually aligned SPMD programs ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors ⋮ A stable programming language ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ Whither semantics? ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Coinductive big-step operational semantics ⋮ A rewriting logic approach to operational semantics ⋮ Constructing the Views Framework ⋮ The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Formalizing Operational Semantic Specifications in Logic ⋮ From Reduction-Based to Reduction-Free Normalization ⋮ Order-sorted inductive types ⋮ Mechanized metatheory revisited ⋮ Vivid: a framework for heterogeneous problem solving ⋮ Semantic essence of AsmL ⋮ Type-directed specialization of polymorphism. ⋮ Aspect-Oriented Action Semantics Descriptions ⋮ Bi-inductive Structural Semantics ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract) ⋮ Token-passing Nets for Functional Languages ⋮ Lorenzen and Constructive Mathematics

This page was built for publication: