698 search results - page 71 / 140 » dagstuhl 2007 |
102
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
83
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
We present a major revision of the XPath benchmark known as XPathMark [1]. The new version splits into a functional test over a small educational document and a more elaborated per...
88
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
DAGSTUHL
2001
15 years 2 months ago
2001
This article describes the Bauhaus tool suite as a concrete example for software visualization in reverse engineering, re-engineering, and software maintenance. Results from a rec...
122
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...