3311 search results - page 357 / 663 » Deductive Object Programming |
122
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
119
Voted
TOOLS
1997
IEEE
15 years 7 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
117
click to vote
ICFP
1996
ACM
15 years 7 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
146
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
121
Voted
CIDR
2003
15 years 4 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...