3311 search results - page 98 / 663 » Deductive Object Programming |
106
Voted
PLSA
1994
15 years 6 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
135
Voted
FECS
2006
15 years 3 months ago
2006
: Selecting an appropriate programming paradigm in which to teach the first programming and problem solving course in a Computer Science undergraduate program has been discussed ex...
164
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
117
Voted
ASWEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
117
Voted
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...