18 citations · 25 across the 5 of their papers we have counts for
5 papers
An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and se…
An Experiment Combining Specialization with Abstract Interpretation
John P. Gallagher, Robert Glück
It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analys…
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
Robert Glück
An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic push…
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Robert Glück, Robin Kaarsgaard
Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a l…
Simulation of Two-Way Pushdown Automata Revisited
Robert Glück
The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) by the Cook and Jones constructions is revisited. Following the semantics-based approach by Jones, an in…