3595 search results - page 25 / 719 » Roles of Program Extension |
103
Voted
SAIG
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
87
Voted
SIAMJO
2008
15 years 1 months ago
2008
By considering the epigraphs of conjugate functions, we extend the Fenchel duality, applicable to a (possibly infinite) family of proper lower semicontinuous convex functions on a ...
119
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
142
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 5 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
92
Voted
DAGSTUHL
2007
15 years 3 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...