599 search results - page 80 / 120 » Interpreting the Object Constraint Language |
104
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
103
click to vote
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
102
click to vote
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
112
click to vote
CP
2011
Springer
13 years 11 months ago
2011
Springer
We introduce tractable classes of VCSP instances based on convex cost functions. Firstly, we show that the class of VCSP instances satisfying the hierarchically nested convexity pr...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...