13383 search results - page 255 / 2677 » Abstractions from proofs |
227
click to vote
TCCI
2010
15 years 1 months ago
2010
Abstract. A semantically-linked web of electronic information
178
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
170
click to vote
ASPDAC
2004
ACM
16 years 2 days ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
149
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...
200
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...