Sciweavers

15777 search results - page 56 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
PEPM
2009
ACM
15 years 11 months ago
Improving type error messages for generic java
Nabil El Boustani, Jurriaan Hage
PEPM
2009
ACM
15 years 11 months ago
Shifting the stage: staging with delimited control
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...
PEPM
2009
ACM
15 years 11 months ago
Type-based specialization of xml transformations
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
ESSOS
2010
Springer
15 years 11 months ago
Idea: Efficient Evaluation of Access Control Constraints
Achim D. Brucker, Helmut Petritsch