Sciweavers

14 search results - page 1 / 3
» pepm 2009
Sort
View
PEPM
2009
ACM
14 years 7 months ago
Improving type error messages for generic java
Nabil El Boustani, Jurriaan Hage
PEPM
2009
ACM
14 years 7 months ago
Shifting the stage: staging with delimited control
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...
PEPM
2009
ACM
14 years 7 months ago
Type-based specialization of xml transformations
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
PEPM
2009
ACM
14 years 7 months 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
PEPM
2009
ACM
14 years 7 months 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...