1686 search results - page 68 / 338 » Higher Order Deforestation |
APLAS
2010
ACM
15 years 3 days ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
118
click to vote
APLAS
2010
ACM
15 years 3 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...
101
click to vote
BIRTHDAY
2010
Springer
15 years 2 days ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
CONCUR
2010
Springer
15 years 2 days ago
2010
Springer
ECAI
2010
Springer
15 years 2 days ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...