4959 search results - page 58 / 992 » Imperative Functional Programming |
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
CSFW
1997
IEEE
15 years 3 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...
ESOP
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...