2501 search results - page 49 / 501 » Obligations and Their Interaction with Programs |
ENTCS
2000
13 years 8 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
APCHI
1998
IEEE
14 years 1 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...
ICCL
1994
IEEE
14 years 26 days ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...