4959 search results - page 48 / 992 » Imperative Functional Programming |
98
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
103
Voted
JLP
2007
15 years 13 days ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
82
Voted
JFP
2006
15 years 15 days ago
2006
86
Voted
REX
1989
15 years 4 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...