295 search results - page 1 / 59 » Typed transformations of typed abstract syntax |
91
Voted
TLDI
2009
ACM
16 years 9 days ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
94
Voted
FLOPS
2001
Springer
15 years 8 months ago
2001
Springer
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
141
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
143
click to vote
MMMACNS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...