3311 search results - page 268 / 663 » Deductive Object Programming |
103
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
121
Voted
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
126
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
157
Voted
IWFM
2003
15 years 4 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...