Seguir
Edmund S L Lam
Título
Citado por
Citado por
Año
Automatic building of java projects in software repositories: A study on feasibility and challenges
F Hassan, S Mostafa, ESL Lam, X Wang
2017 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2017
572017
A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory
ESL Lam, M Sulzmann
Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007
332007
Actors with multi-headed message receive patterns
M Sulzmann, ESL Lam, P Van Weert
Coordination Models and Languages: 10th International Conference …, 2008
322008
Comparing the performance of concurrent linked-list implementations in Haskell
M Sulzmann, ESL Lam, S Marlow
ACM Sigplan Notices 44 (5), 11-20, 2009
302009
Parallel execution of multi-set constraint rewrite rules
M Sulzmann, ESL Lam
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
182008
Towards agent programming in CHR
ES Lam, M Sulzmann
CHR 6, 17-31, 2006
182006
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
ESL Lam, I Cervesato, N Fatima
17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part …, 2015
142015
Concurrent goal-based execution of constraint handling rules
ESL Lam, M Sulzmann
Theory and Practice of Logic Programming 11 (6), 841-879, 2011
142011
ChimpCheck: property-based randomized test generation for interactive apps
ESL Lam, P Zhang, BYE Chang
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
82017
Decentralized execution of constraint handling rules for ensembles
ESL Lam, I Cervesato
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
82013
Modeling datalog fact assertion and retraction in linear logic
ESL Lam, I Cervesato
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
72012
Compiling Constraint Handling Rules with lazy and concurrent search techniques
M Sulzmann, ES Lam
CHR 7, 139-149, 2007
72007
Haskell-join-rules
M Sulzmann, ES Lam
IFL 7, 195-210, 2007
62007
Reasoning About Set Comprehensions.
ESL Lam, I Cervesato
SMT, 27-37, 2014
52014
Optimized Compilation of Multiset Rewriting with Comprehensions
ESL Lam, I Cervesato
Asian Symposium on Programming Languages and Systems, 19-38, 2014
42014
Finally, a comparison between Constraint Handling Rules and join-calculus
ESL Lam, M Sulzmann
The 5th Workshop on Constraint Handling Rules, 51, 2008
42008
Modular multiset rewriting
I Cervesato, ESL Lam
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
32015
Constraint Handling Rules with Multiset Comprehension Patterns
ESL Lam, I Cervesato
arXiv preprint arXiv:1406.2121, 2014
32014
Parallel join patterns with guards and propagation
M Sulzmann, ESL Lam
Unpublished manuscript, 2008
32008
Choreographic Compilation of Decentralized Comprehension Patterns
I Cervesato, ESL Lam, A Elgazar
International Symposium on Rules and Rule Markup Languages for the Semantic …, 2016
22016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20