Thesis
- Maja H. Kirkeby. Probabilistic program analysis. PhD thesis, Department of People and Technology, Roskilde University, Denmark, 2018.
- Alejandro Serrano. Type Error Customization for Embedded Domain-Specific Languages. PhD thesis, Utrecht University, 2018.
Articles in journal, book chapters
- Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems & Structures, 53:121-142, 2018.
- Verónica Dahl, Sergio Tessaris, and Mariano De Sousa Bispo. Parsing as semantically guided constraint solving: the role of ontologies. Annals of Mathematics and Artificial Intelligence, 82(1-3):161-185, 2018.
- Gregory J. Duck, Joxan Jaffar, and Roland H.C. Yap. Shape Neutral Analysis of Graph-based Data-structures. Theory and Practice of Logic Programming, 18(3-4):470-483, 2018.
- Thom Frühwirth. A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks. 2018.
- Thom Frühwirth. Parallelism, concurrency and distribution in constraint handling rules: A survey. Theory and Practice of Logic Programming, 18(5-6):759-805, 2018. [doi:10.1017/S1471068418000078]
- Thom Frühwirth. Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. arXiv preprint arXiv:1805.08453, 2018.
- Thom Frühwirth. Security Policies in Constraint Handling Rules. 2018.
- Thom Frühwirth and Daniel Gall. Exploring Parallel Execution Strategies for Constraint Handling Rules-Work-in-Progress Report. arXiv preprint arXiv:1808.07788, 2018.
- Daniel Gall. Confluence Analysis of Cognitive Models with Constraint Handling Rules. 2018.
- Thomas F. Gordon, Horst Friedrich, and Douglas Walton. Representing argumentation schemes with Constraint Handling Rules (CHR). Argument & Computation, 9(2):91-119, 2018.
- Shengbing Ren and Mengyu Jia. Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation. IEEE Access, 7:62352-62360, 2018.
- Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. Scopes As Types. Proc. ACM Program. Lang., 2(OOPSLA):114:1-114:30, October 2018. ISSN: 2475-1421. [WWW] [doi:10.1145/3276484] Keyword(s): domain-specific language, name resolution, scope graphs, static semantics, type checker, type system.
Conference articles
- Leonor Becerra-Bonache, Henning Christiansen, and M. Dolores Jiménez-López. A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model. In Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing, pages 1-9, 2018.
- Henning Christiansen and Maja H. Kirkeby. Confluence in Constraint Handling Rules: A retrospective overview. In 7th International Workshop on Confluence, 2018.
- Daniel Gall and Thom Frühwirth. Confluence modulo equivalence with invariants in constraint handling rules. In International Symposium on Functional and Logic Programming, pages 116-131, 2018. Springer.
- Kashif Gulzar, Reino Ruusu, Seppo Sierla, Pekka Aarnio, Tommi Karhela, and Valeriy Vyatkin. Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model. In 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), pages 741-746, 2018. IEEE.
- Falco Nogatz, Thom Frühwirth, and Dietmar Seipel. CHR.js: A CHR Implementation in JavaScript. In Rules and Reasoning, volume 11092, pages 131-146, 2018. Springer.
- Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
- Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Rule-Based Visualization of Tableau Calculus for Propositional Logic. In 22nd International Conference Information Visualisation (IV 2018), pages 368-372, 2018. IEEE.
- Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
BACK TO INDEX