597 search results - page 34 / 120 » Formal Techniques for Java-Like Programs |
235
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
127
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
157
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
132
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
133
Voted
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...