Titlebook: Specification, Algebra, and Software; Essays Dedicated to Shusaku Iida,José Meseguer,Kazuhiro Ogata Book 2014 Springer-Verlag Berlin Heide

Soliloquy

反叛者

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way), data dependencies across the computation tree. Our methodology, which is implemented in the . graphical tool, allows users to capture the impact of a given criterion thereby facilitating the detection of improper program behaviors.

斷斷續(xù)續(xù)