Gregory J. Duck
Gregory J. Duck
在 comp.nus.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
MiniZinc: Towards a standard CP modelling language
N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack
International Conference on Principles and Practice of Constraint …, 2007
8222007
The refined operational semantics of Constraint Handling Rules
GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur
International Conference on Logic Programming, 90-104, 2004
2212004
Understanding functional dependencies via constraint handling rules
M Sulzmann, GJ Duck, S Peyton-Jones, PJ Stuckey
Journal of functional programming 17 (1), 83-129, 2007
992007
Heap bounds protection with low fat pointers
GJ Duck, RHC Yap
Proceedings of the 25th International Conference on Compiler Construction …, 2016
882016
Stack Bounds Protection with Low Fat Pointers.
GJ Duck, RHC Yap, L Cavallaro
NDSS 17, 1-15, 2017
652017
Optimizing compilation of constraint handling rules in HAL
C Holzbaur, MG De La Banda, PJ Stuckey, GJ Duck
Theory and Practice of Logic Programming 5 (4-5), 503-531, 2005
572005
Observable confluence for constraint handling rules
GJ Duck, PJ Stuckey, M Sulzmann
International Conference on Logic Programming, 224-239, 2007
562007
Sound and decidable type inference for functional dependencies
GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann
European Symposium on Programming, 49-63, 2004
522004
Abstract interpretation for constraint handling rules
T Schrijvers, PJ Stuckey, GJ Duck
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
47*2005
EffectiveSan: type and memory error detection using dynamically typed C/C++
GJ Duck, RHC Yap
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
422018
Extending arbitrary solvers with constraint handling rules
GJ Duck, PJ Stuckey, M Garcia de la Banda, C Holzbaur
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
412003
Automatic implication checking for CHR constraints
T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth
Electronic notes in theoretical computer science 147 (1), 93-111, 2006
392006
ACD term rewriting
GJ Duck, PJ Stuckey, S Brand
International Conference on Logic Programming, 117-131, 2006
382006
Compilation of Constraint Handling Rules
GJ Duck
University of Melbourne, Department of Computer Science and Software Engineering, 2005
372005
Optimizing compilation of CHR with rule priorities
L De Koninck, PJ Stuckey, GJ Duck
International Symposium on Functional and Logic Programming, 32-47, 2008
22*2008
Constraint-based program reasoning with heaps and separation
GJ Duck, J Jaffar, NCH Koh
International Conference on Principles and Practice of Constraint …, 2013
21*2013
Flexible, rule-based constraint model linearisation
S Brand, GJ Duck, J Puchinger, PJ Stuckey
International Symposium on Practical Aspects of Declarative Languages, 68-83, 2008
192008
SMCHR: Satisfiability modulo constraint handling rules
GJ Duck
Theory and Practice of Logic Programming 12 (4-5), 601-618, 2012
162012
Cadmium: An implementation of ACD term rewriting
GJ Duck, L De Koninck, PJ Stuckey
International Conference on Logic Programming, 531-545, 2008
162008
Accurate functional dependency analysis for Constraint Handling Rules
G Duck, T Schrijvers
Proceedings of the 2nd Workshop on Constraint Handling Rules, 109-124, 2005
152005
系统目前无法执行此操作,请稍后再试。
文章 1–20