1194 search results - page 37 / 239 » A Calculus for Predicative Programming |
203
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
106
click to vote
FM
1994
Springer
15 years 6 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
99
Voted
LOGCOM
1998
15 years 1 months ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...
126
Voted
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
101
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...