1901 search results - page 287 / 381 » Predicting Program Properties from |
234
Voted
POPL
2001
ACM
16 years 28 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
97
Voted
PODS
1994
ACM
15 years 4 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
145
Voted
KR
1991
Springer
15 years 4 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
COMPUTER
1999
15 years 9 days ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
116
Voted
INTERACTION
2009
ACM
15 years 7 months ago
2009
ACM
Ocean circulation plays an important role in global climate change. In an effort to monitor ocean circulation an infrastructure of more than 3,000 buoys have been deployed in the ...