13383 search results - page 2444 / 2677 » Abstractions from proofs |
115
click to vote
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
129
Voted
CC
2002
Springer
15 years 19 days ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
91
Voted
COMPUTER
2002
15 years 18 days ago
2002
the term refers in an abstract way to a process or institution under which government openly solicits, preserves, and fosters information about its citizens' interests. At the...
138
Voted
ENTCS
2002
15 years 18 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
101
Voted
JCNS
2000
15 years 17 days ago
2000
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...