1278 search results - page 223 / 256 » On the Semantics of Logic Program Composition |
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
134
click to vote
TYPES
1998
Springer
15 years 6 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
102
click to vote
CAP
2010
14 years 9 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
112
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
114
click to vote
FUIN
2006
15 years 1 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...