Sciweavers

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