Sciweavers

Share
POPL   2010 Annual Symposium on Principles of Programming Languages
Wall of Fame | Most Viewed POPL-2010 Paper
POPL
2010
ACM
9 years 6 months ago
Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source303
2Download preprint from source285
3Download preprint from source265
4Download preprint from source264
5Download preprint from source263
6Download preprint from source262
7Download preprint from source251
8Download preprint from source248
9Download preprint from source246
10Download preprint from source238
11Download preprint from source237
12Download preprint from source236
13Download preprint from source234
14Download preprint from source231
15Download preprint from source227
16Download preprint from source225
17Download preprint from source224
18Download preprint from source223
19Download preprint from source218
20Download preprint from source218
21Download preprint from source212
22Download preprint from source211
23Download preprint from source207
24Download preprint from source206
25Download preprint from source204
26Download preprint from source201
27Download preprint from source199
28Download preprint from source199
29Download preprint from source195
30Download preprint from source194
31Download preprint from source192
32Download preprint from source192
33Download preprint from source190
34Download preprint from source190
35Download preprint from source188
36Download preprint from source188
37Download preprint from source188
38Download preprint from source186
39Download preprint from source186
40Download preprint from source177
41Download preprint from source176
42Download preprint from source176
43Download preprint from source176
44Download preprint from source175
45Download preprint from source173
46Download preprint from source163
books