7555 search results - page 86 / 1511 » The Type System of DBPL |
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
ENTCS
2008
13 years 9 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
JFP
2007
13 years 8 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
JLP
2007
13 years 8 months 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...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
A system is described for summarizing head-mounted or hand-carried "always-on" video. The example used is a tourist walking around a historic city with friends and famil...