Search
for Author
All Reviews
Clarke, Dave
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Monadic abstract interpreters
Sergey I., Devriese D., Might M., Midtgaard J., Darais D., Clarke D., Piessens F. PLDI 2013 (Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, Jun 16-19, 2013) 399-410, 2013. Type: Proceedings
Abstract interpretation is an important conceptual framework that unifies many different concepts in static analysis. However, writing a general, modular, abstract interpreter has not been as straightforward. There are two difficulties...
...
Aug 19 2013
A correspondence between type checking via reduction and type checking via evaluation
Sergey I., Clarke D. Information Processing Letters 112(1-2): 13-20, 2012. Type: Article
This paper deals with the implementation of a type checker for the simply typed lambda calculus in the Standard ML language. A type system is generally defined via a set of predicates that are defined inductively following the structur...
...
Mar 25 2013
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy