scientific article; zbMATH DE number 194509
From MaRDI portal
Publication:4692466
zbMath0711.68073MaRDI QIDQ4692466
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)
Related Items
Implementing term rewriting by graph reduction: Termination of combined systems, Design strategies for rewrite rules, Evolution of rule-based programs, Generation of abstract programming interfaces from syntax definitions, Building Specifications in the Event-B Institution, Automatic construction of test sets: Practical approach, Randnomness, computability, and algebraic specifications, Algebraic processing of programming languages, Unnamed Item, Hybrid implementations of algebraic specifications, Automated reasoning about parallel algorithms using powerlists, Typed generic traversal with term rewriting strategies, A modular order-sorted equational generalization algorithm, Higher-order equational logic for specification, simulation and testing, Unnamed Item, A Modular Equational Generalization Algorithm, Order-Sorted Generalization, Relating CASL with other specification languages: the institution level., Computations in APS, Origin tracking, OBSCURE, a specification language for abstract data types