968 search results - page 110 / 194 » The Molen Programming Paradigm |
135
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
129
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
136
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
122
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distri...
124
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...