| |
Project Seminar Formal Methods in Computer Science (326.038, SS 2005)
Time: Wednesday, 10:30-12:00.
Place: Hagenberg Seminar Room (HA 105).
Start: March 9.
In this seminar, we explore current research
and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.
To take part in the seminar, you have to register in the KUSSS system. Please also register in Moodle ("Login" at the upper right corner) such that you will receive per email all announcements that we post in the News Forum below.
| |
| 7 | April 20 - April 26
- Temur Kutsia: Context Sequence Matching for XML
Abstract: Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-based language to query and transform XML, or to specify and verify web sites. Such a language would have advantages of both path-based and pattern-based languages. We develop a context sequence matching algorithm and its extension for regular expression matching, and prove their soundness, termination and completeness properties.
| 
|
