scientific article
From MaRDI portal
Publication:3817573
zbMath0666.68010MaRDI QIDQ3817573
Hélène Kirchner, Joseph A. Goguen, Aristide Mégrelis, José Meseguer, Claude Kirchner, Timothy Winkler
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsimplementationOBJ logical programming languageorder-sorted term rewritingsoftware specifications
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Conditional rewriting logic: Deduction, models and concurrency, Compiling concurrent rewriting onto the Rewrite Rule Machine, Building a Modal Interface Theory for Concurrency and Data, Program transformation and rewriting, José Meseguer: Scientist and Friend Extraordinaire, Weak Bisimulation as a Congruence in MSOS, Proving and rewriting, A model inference system for generic specification with application to code sharing, Equational completion in order-sorted algebras, Completion for unification, Unnamed Item, Unnamed Item, Conditional rewriting logic as a unified model of concurrency, Unnamed Item, Algebraic correctness proofs for compiling recursive function definitions with strictness information, Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness, Data types over multiple-valued logics, Formal specification and verification of decentralized self-adaptive systems using symmetric nets, Computations in APS
