Sciweavers

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