141 search results - page 1 / 29 » Extending the Sparkle Core language with object abstraction |
67
Voted
ACTAC
2006
15 years 12 days ago
2006
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
106
click to vote
APLAS
2010
ACM
15 years 17 days ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
125
Voted
UML
2000
Springer
15 years 3 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
120
Voted
FUIN
2010
14 years 11 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...