A Fresh View on Alignments

Presentation from AIS meeting on alignments.

We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science.  Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to provide several directions for future work as well current new possibilities and large broadening of the scope of practical applicability of replay analysis.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.