scientific article
From MaRDI portal
Publication:2778890
zbMath0981.68679MaRDI QIDQ2778890
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510357
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01)
Related Items
Strategies for combining decision procedures, Generation of abstract programming interfaces from syntax definitions, Invariant-driven specifications in Maude, Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies, An integrated approach to high integrity software verification, Zipping strategies and attribute grammars, Crystal: Integrating structured queries into a tactic language, Constructing language processors with algebra combinators, Rewriting Strategies and Strategic Rewrite Programs, Strategy based semantics for mobility with time and access permissions, UTPCalc — A Calculator for UTP Predicates, Strategic port graph rewriting: an interactive modelling framework, Declarative rewriting through circular nonterminal attributes, A higher-order strategy for eliminating common subexpressions, Unnamed Item, Transformation of structure-shy programs with application to XPath queries and strategic functions, A Port Graph Calculus for Autonomic Computing and Invariant Verification, Strategy-Based Proof Calculus for Membrane Systems, Stratego, Labelled Graph Rewriting Meets Social Networks, Inductive proof search modulo, A Higher-Order Graph Calculus for Autonomic Computing, A Survey of Rewriting Strategies in Program Transformation Systems, Fusing Logic and Control with Local Transformations, Induction for termination with local strategies, Programmed Strategies for Program Verification
Uses Software
