scientific article
From MaRDI portal
Publication:2703708
zbMath0962.68030MaRDI QIDQ2703708
Francisco Durán, Narciso Martí-Oliet, Manuel Clavel
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (4)
Rewriting logic: Roadmap and bibliography ⋮ Typed generic traversal with term rewriting strategies ⋮ Libraries for Generic Programming in Haskell ⋮ Reflection in conditional rewriting logic
Uses Software
This page was built for publication:
