scientific article
From MaRDI portal
Publication:3221381
zbMath0557.68013MaRDI QIDQ3221381
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Equational logic, Mal'tsev conditions (08B05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Equational categories (18C05) General topics in the theory of software (68N01) Categories of algebras (08C05)
Related Items (only showing first 100 items - show all)
A language for configuring multi-level specifications ⋮ The verification of modules ⋮ Behavioural approaches to algebraic specifications. A comparative study ⋮ Algebraic specification of modules and their basic interconnections ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Categorical aspects of data type constructors ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ On pushout consistency, modularity and interpolation for logical specifications ⋮ Actors, actions, and initiative in normative system specification ⋮ Verifying a distributed list system: A case history ⋮ Equational specification of partial higher-order algebras ⋮ A completeness theorem for the expressive power of higher-order algebraic specifications ⋮ Many-sorted algebras in congruence modular varieties ⋮ Functorial semantics of first-order views ⋮ A guided tour of the mathematics of MetaSoft '88 ⋮ The equational theory of parameterized specifications ⋮ Essential concepts of algebraic specification and program development ⋮ Inheritance hierarchies: Semantics and unifications ⋮ On a conjecture of Bergstra and Tucker ⋮ Attributed graph transformation with node type inheritance ⋮ Algebraic processing of programming languages ⋮ On the complexity of specification morphisms ⋮ Order-sorted algebraic specifications with higher-order functions ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Proof systems for structured specifications with observability operators ⋮ Institutions for logic programming ⋮ Automated flaw detection in algebraic specifications ⋮ Strategy based semantics for mobility with time and access permissions ⋮ TTL: A modular language for hardware/software systems design. ⋮ On the weaving process of aspect-oriented product family algebra ⋮ Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. ⋮ Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes ⋮ A categorical framework for the transformation of object-oriented systems: models and data ⋮ Parametrization for order-sorted algebraic specification ⋮ Combining data type and recursive process specifications using projection algebras ⋮ Observational implementation of algebraic specifications ⋮ Algebraic specification of concurrent systems ⋮ Defining, analysing and implementing communication protocols using attribute grammars ⋮ Algebraic models of correctness for abstract pipelines. ⋮ Polymorphic rewriting conserves algebraic strong normalization ⋮ Foundations of rule-based design of modular systems ⋮ Horn clause programs with polymorphic types: Semantics and resolution ⋮ Specification styles in distributed systems design and verification ⋮ Classes of finite relations as initial abstract data types. I ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ An agent calculus with simple actions where the enabling and disabling are derived operators ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Modularising the specification of a small database system in extended ML ⋮ Semantics of order-sorted specifications ⋮ Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets ⋮ Basic notions of universal algebra for language theory and graph grammars ⋮ Behavioural theories and the proof of behavioural properties ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ An algebraic characterization of frontier testable tree languages ⋮ Formalizing Dijkstra's predicate transformer wp in weak second-order logic ⋮ The meaning of specifications I: Domains and initial models ⋮ Observational specifications and the indistinguishability assumption ⋮ On the Modularization Theorem for logical specifications ⋮ On the correctness of modular systems ⋮ On the role of memory in object-based and object-oriented languages ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Comparison of functional and predicative query paradigms ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ An order-sorted logic for knowledge representation systems ⋮ Comparing Hagino's categorical programming language and typed lambda- calculi ⋮ On weakly confluent monadic string-rewriting systems ⋮ Algebraic approach to single-pushout graph transformation ⋮ Parallel and distributed derivations in the single-pushout approach ⋮ A semi-algorithm for algebraic implementation proofs ⋮ Categorical principles, techniques and results for high-level-replacement systems in computer science ⋮ A new method for undecidability proofs of first order theories ⋮ Consistent integration of models based on views of meta models ⋮ Canonical constraints for parameterized data types ⋮ Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness ⋮ Partial pushout semantics of generics in DOL ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ Fully abstract models and refinements as tools to compare agents in timed coordination languages ⋮ Processes with local and global liveness requirements ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ Term-rewriting systems with rule priorities ⋮ An algebraically specified language for data directed design ⋮ Data types over multiple-valued logics ⋮ Equational type logic ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Sketches and computations over fields. ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ Swinging types=functions+relations+transition systems ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ Models for the substitution axiom of UNITY logic ⋮ Petri nets and algebraic specifications ⋮ A complete axiomatic semantics of spawning ⋮ Compositional SOS and beyond: A coalgebraic view of open systems ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications ⋮ An algebraic semantics of higher-order types with subtypes ⋮ OBSCURE, a specification language for abstract data types ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
This page was built for publication:
