scientific article; zbMATH DE number 1231673

zbMath0917.68022MaRDI QIDQ4223001

Christophe Ringeissen, Hélène Kirchner, Pierre-Etienne Moreau, Peter Borovanský, Claude Kirchner

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15022

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Rewriting logic: Roadmap and bibliography, Strategies for combining decision procedures, Manipulating algebraic specifications with term-based and graph-based representations, The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors, An integrated framework for the diagnosis and correction of rule-based programs, A \(\rho\)-calculus of explicit constraint application, Labelled graph strategic rewriting for social networks, Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting, Rewriting Strategies and Strategic Rewrite Programs, A Port Graph Rewriting Approach to Relational Database Modelling, Strategy based semantics for mobility with time and access permissions, A survey of strategies in rule-based program transformation systems, Unnamed Item, Unnamed Item, Reachability analysis over term rewriting systems, Programming and symbolic computation in Maude, Labelled Graph Rewriting Meets Social Networks, Generic type-preserving traversal strategies, Induction for termination with local strategies, Maude: specification and programming in rewriting logic, Reflection in conditional rewriting logic, Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• ELAN