A constraint-logic object-oriented language-Reference-Cited by-同舟云学术

A constraint-logic object-oriented language

Published:2018-04-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Dageförde Jan C.¹,Kuchen Herbert¹

Affiliation:

1. ERCIS, Münster, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3167132.3167260

Reference33 articles.

1. Sergio Antoy and Andy Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In LOPSTR. arXiv:1608.04016 Sergio Antoy and Andy Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In LOPSTR. arXiv:1608.04016

2. Multi-paradigm Java–Prolog integration in tuProlog

3. J. Doyle and C. Meudec. 2003. IBIS: an Interactive Bytecode Inspection System using symbolic execution and constraint logic programming. 2nd PPPJ (2003) 55--58. J. Doyle and C. Meudec. 2003. IBIS: an Interactive Bytecode Inspection System using symbolic execution and constraint logic programming. 2nd PPPJ (2003) 55--58.

4. Torbjörn Ekman and Görel Hedin. 2007. The JastAdd extensible Java compiler. In OOPSLA. 1--18. 10.1145/1297027.1297029 Torbjörn Ekman and Görel Hedin. 2007. The JastAdd extensible Java compiler. In OOPSLA. 1--18. 10.1145/1297027.1297029

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023

2. Constraint-logic object-oriented programming for test case generation;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

3. Constraint-logic object-oriented programming on the Java virtual machine;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

4. Constraint-Logic Object-Oriented Programming with Free Arrays;Functional and Constraint Logic Programming;2021

5. A compiler and virtual machine for constraint-logic object-oriented programming with Muli;Journal of Computer Languages;2019-08