605 search results - page 20 / 121 » Dynamic inference of abstract types |
122
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
152
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
144
Voted
PPPJ
2003
ACM
15 years 8 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
165
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
249
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...