3 papers
cs.PL2021
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…
cs.PL2020
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…
cs.PL2018
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…