632 search results - page 47 / 127 » Combining programming with theorem proving |
133
Voted
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
121
click to vote
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
129
click to vote
ICML
1989
IEEE
15 years 5 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
111
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
102
Voted
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...