624 search results - page 49 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
143
click to vote
ECOOPW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
118
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
— This article presents an evolution of classical SPMD programming for clusters and grids. It is named ”Object-Oriented SPMD” as it is based on remote method invocation. More...
150
click to vote
CACM
1999
15 years 2 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
128
click to vote
OOGRAPHICS
1992
15 years 7 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
132
click to vote
FMOODS
2007
15 years 4 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...