1559 search results - page 150 / 312 » Fundamentals of Generic Programming |
KBSE
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
SDE
1991
15 years 1 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
GPCE
2008
Springer
14 years 11 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
ECOOP
2012
Springer
13 years 12 days ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
CACM
2008
14 years 10 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...