2000 search results - page 170 / 400 » Program Transformation and Proof Transformation |
158
Voted
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
141
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
133
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
119
Voted
IWSEC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
118
Voted
ENTCS
2007
15 years 3 months ago
2007
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...