3311 search results - page 331 / 663 » Deductive Object Programming |
130
click to vote
EGC
2005
Springer
15 years 8 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
120
click to vote
ACE
2004
15 years 4 months ago
2004
This paper introduces PigWorld, a tool for teaching Java to novice programmers, via the objects-early style. Three design guidelines forobject-early assignments are discussed: (1)...
248
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
231
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
129
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...