Search for Author All Reviews
	Sergey, Ilya     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