Follow
Edmund S L Lam
Title
Cited by
Cited by
Year
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
632017
Actors with multi-headed message receive patterns
M Sulzmann, ESL Lam, P Van Weert
Coordination Models and Languages: 10th International Conference …, 2008
342008
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
Comparing the performance of concurrent linked-list implementations in Haskell
M Sulzmann, ESL Lam, S Marlow
ACM Sigplan Notices 44 (5), 11-20, 2009
312009
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
102017
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
The system can't perform the operation now. Try again later.
Articles 1–20