Sciweavers

Share
141 search results - page 1 / 29
» Extending the Sparkle Core language with object abstraction
Sort
View
ACTAC
2006
56views more  ACTAC 2006»
12 years 2 months ago
Extending the Sparkle Core language with object abstraction
Máté Tejfel, Zoltán Horv&aacu...
ESOP
2005
Springer
12 years 7 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: 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, ...
Alan Jeffrey, Julian Rathke
APLAS
2010
ACM
12 years 2 months ago
A Certified Implementation of ML with Structural Polymorphism
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...
Jacques Garrigue
UML
2000
Springer
12 years 5 months ago
Extending OCL to include Actions
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...
Anneke Kleppe, Jos Warmer
FUIN
2010
156views more  FUIN 2010»
12 years 16 days ago
A Tutorial Implementation of a Dependently Typed Lambda Calculus
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...
Andres Löh, Conor McBride, Wouter Swierstra
books