publication . Preprint . Part of book or chapter of book . 2019

Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming

Jan C. Dageförde; Finn Teegen;
Open Access English
  • Published: 27 Aug 2019
Abstract
Comment: Part of DECLARE 19 proceedings
Subjects
free text keywords: Computer Science - Programming Languages

1. Braßel, B., Hanus, M., Huch, F.: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming p. 28 (2004) [OpenAIRE]

2. Dageförde, J.C.: Reference Type Logic Variables in Constraint-Logic ObjectOriented Programming. In: Silva, J. (ed.) WFLP 2018, pp. 131-144. Springer (2019). https://doi.org/10.1007/978-3-030-16202-3_8 [OpenAIRE]

3. Dageförde, J.C., Kuchen, H.: An Operational Semantics for Constraint-Logic Imperative Programming. In: Seipel, D., Hanus, M., Abreu, S. (eds.) Declare 2017. pp. 64-80. Springer (2018). https://doi.org/10.1007/978-3-030-00801-7_5

4. Dageförde, J.C., Kuchen, H.: A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli. Journal of Computer Languages 53, 63-78 (2019). https://doi.org/10.1016/j.cola.2019.05.001 [OpenAIRE]

5. Dageförde, J.C., Kuchen, H.: Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space. In: Proc. 34th SAC. pp. 1552-1561. Limassol, Cyprus (2019). https://doi.org/10.1145/3297280.3298912 [OpenAIRE]

6. Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the 1990 ACM Conf. on LISP and Functional Programming - LFP '90. pp. 151-160. ACM Press (1990) [OpenAIRE]

7. Hanus, M., Peemöller, B., Reck, F.: Search strategies for functional logic programming. In: Proc. ATPS'12. pp. 61-74. GI LNI 199 (2012)

8. King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385-394 (1976). https://doi.org/10.1145/360248.360252

9. Kiselyov, O., Shan, C.c.: Embedded Probabilistic Programming. In: Taha, W.M. (ed.) Domain-Specific Languages, vol. 5658, pp. 360-384. Springer (2009) [OpenAIRE]

10. Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java R Virtual Machine Specification - Java SE 8 Edition (2015), https://docs.oracle.com/javase/specs/ jvms/se8/jvms8.pdf

11. Majchrzak, T.A., Kuchen, H.: Automated Test Case Generation Based on Coverage Analysis. In: TASE 2009. IEEE (2009). https://doi.org/10.1109/TASE.2009.33

12. van der Ploeg, A., Kiselyov, O.: Reflection without remorse: Revealing a hidden sequence to speed up monadic reflection. ACM SIGPLAN Notices 49(12), 133-144 (2015)

13. Schrijvers, T., Stuckey, P., Wadler, P.: Monadic constraint programming. JFP 19(6), 663-697 (2009). https://doi.org/10.1017/s0956796809990086 [OpenAIRE]

14. Warren, D.H.D.: An Abstract Prolog Instruction Set. Tech. rep., SRI International, Menlo Park (1983)

Related research
Abstract
Comment: Part of DECLARE 19 proceedings
Subjects
free text keywords: Computer Science - Programming Languages

1. Braßel, B., Hanus, M., Huch, F.: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming p. 28 (2004) [OpenAIRE]

2. Dageförde, J.C.: Reference Type Logic Variables in Constraint-Logic ObjectOriented Programming. In: Silva, J. (ed.) WFLP 2018, pp. 131-144. Springer (2019). https://doi.org/10.1007/978-3-030-16202-3_8 [OpenAIRE]

3. Dageförde, J.C., Kuchen, H.: An Operational Semantics for Constraint-Logic Imperative Programming. In: Seipel, D., Hanus, M., Abreu, S. (eds.) Declare 2017. pp. 64-80. Springer (2018). https://doi.org/10.1007/978-3-030-00801-7_5

4. Dageförde, J.C., Kuchen, H.: A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli. Journal of Computer Languages 53, 63-78 (2019). https://doi.org/10.1016/j.cola.2019.05.001 [OpenAIRE]

5. Dageförde, J.C., Kuchen, H.: Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space. In: Proc. 34th SAC. pp. 1552-1561. Limassol, Cyprus (2019). https://doi.org/10.1145/3297280.3298912 [OpenAIRE]

6. Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the 1990 ACM Conf. on LISP and Functional Programming - LFP '90. pp. 151-160. ACM Press (1990) [OpenAIRE]

7. Hanus, M., Peemöller, B., Reck, F.: Search strategies for functional logic programming. In: Proc. ATPS'12. pp. 61-74. GI LNI 199 (2012)

8. King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385-394 (1976). https://doi.org/10.1145/360248.360252

9. Kiselyov, O., Shan, C.c.: Embedded Probabilistic Programming. In: Taha, W.M. (ed.) Domain-Specific Languages, vol. 5658, pp. 360-384. Springer (2009) [OpenAIRE]

10. Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java R Virtual Machine Specification - Java SE 8 Edition (2015), https://docs.oracle.com/javase/specs/ jvms/se8/jvms8.pdf

11. Majchrzak, T.A., Kuchen, H.: Automated Test Case Generation Based on Coverage Analysis. In: TASE 2009. IEEE (2009). https://doi.org/10.1109/TASE.2009.33

12. van der Ploeg, A., Kiselyov, O.: Reflection without remorse: Revealing a hidden sequence to speed up monadic reflection. ACM SIGPLAN Notices 49(12), 133-144 (2015)

13. Schrijvers, T., Stuckey, P., Wadler, P.: Monadic constraint programming. JFP 19(6), 663-697 (2009). https://doi.org/10.1017/s0956796809990086 [OpenAIRE]

14. Warren, D.H.D.: An Abstract Prolog Instruction Set. Tech. rep., SRI International, Menlo Park (1983)

Related research
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Preprint . Part of book or chapter of book . 2019

Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming

Jan C. Dageförde; Finn Teegen;