3342 search results - page 534 / 669 » Automating Abstract Interpretation |
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
80
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
127
Voted
APLAS
2010
ACM
15 years 29 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
215
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
95
Voted
NOMS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...