Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Correct and Efficient Antichain Algorithms for Refinement Checking

Maurice Laveaux ; Jan Friso Groote ; Tim A. C. Willemse.
The notion of refinement plays an important role in software engineering. It is the basis of a stepwise development methodology in which the correctness of a system can be established by proving, or computing, that a system refines its specification. Wang et al. describe algorithms based on&nbsp;[&hellip;]
Published on February 1, 2021
Volume 17, Issue 1

Adaptive Non-linear Pattern Matching Automata

Rick Erkens ; Maurice Laveaux.
Efficient pattern matching is fundamental for practical term rewrite engines. By preprocessing the given patterns into a finite deterministic automaton the matching patterns can be decided in a single traversal of the relevant parts of the input term. Most automaton-based techniques are restricted&nbsp;[&hellip;]
Published on December 17, 2021
Volume 17, Issue 4
  • < Previous
  • 1
  • Next >