3713 search results - page 520 / 743 » Constructing a Calculus of Programs |
124
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
130
click to vote
FTDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
146
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
135
click to vote
COOPIS
1998
IEEE
15 years 7 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
POS
1998
Springer
15 years 7 months ago
1998
Springer
Persistent programming languages are targetted primarily at application systems involving complex data structures and relationships, as typi ed by Geographical Information Systems...