417 search results - page 79 / 84 » Results on Reasoning about Updates in Transaction Logic |
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
156
Voted
ENTCS
2006
15 years 14 days ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
115
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
201
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
94
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...