968 search results - page 110 / 194 » The Molen Programming Paradigm |
156
Voted
STEP
2005
IEEE
15 years 11 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...
157
click to vote
CONCUR
2005
Springer
15 years 11 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...
153
click to vote
UM
2001
Springer
15 years 10 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 ...
146
Voted
ICCL
1998
IEEE
15 years 10 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...
153
click to vote
TOOLS
1998
IEEE
15 years 10 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...