Sciweavers

14 search results - page 1 / 3
» pepm 2009
Sort
View
79
Voted
PEPM
2009
ACM
16 years 16 days ago
Improving type error messages for generic java
Nabil El Boustani, Jurriaan Hage
100
Voted
PEPM
2009
ACM
16 years 16 days ago
Shifting the stage: staging with delimited control
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...
110
Voted
PEPM
2009
ACM
16 years 16 days ago
Type-based specialization of xml transformations
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
PEPM
2009
ACM
16 years 16 days ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning
137
Voted
PEPM
2009
ACM
16 years 16 days ago
From spreadsheets to relational databases and back
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
Jácome Cunha, João Saraiva, Joost Vi...