publication . Preprint . Part of book or chapter of book . Other literature type . 2018

Reference Type Logic Variables in Constraint-logic Object-oriented Programming

Dageförde, Jan C.;
Open Access English
  • Published: 24 Aug 2018
Abstract
Comment: 12 pages, Accepted for presentation in WFLP 2018
Subjects
free text keywords: Computer Science - Programming Languages, Object-oriented programming, Theoretical computer science, Primitive data type, Hierarchy, Programming language, computer.software_genre, computer, Reference type, Computer science, Business software, business.industry, business
Download fromView all 3 versions
http://arxiv.org/pdf/1808.0818...
Part of book or chapter of book
Provider: UnpayWall
http://dx.doi.org/10.1007/978-...
Other literature type . 2019
Provider: Datacite

1. Antoy, S., Hanus, M.: From Boolean Equalities to Constraints. In: Logic-Based Program Synthesis and Transformation. pp. 73-90 (2015) [OpenAIRE]

2. Dagefo¨rde, J.C., Kuchen, H.: An Operational Semantics for Constraint-logic Imperative Programming. In: Proc. Declare 2017 (2017)

3. Dagefo¨rde, J.C., Kuchen, H.: A Constraint-logic Object-oriented Language. In: SAC 2018. pp. 1185-1194. ACM (2018). https://doi.org/10.1145/3167132.3167260 [OpenAIRE]

4. Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Science of Computer Programming 57(2), 217-250 (2005). https://doi.org/10.1016/j.scico.2005.02.001 [OpenAIRE]

5. Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java R Language Specification - Java SE 8 Edition (2015), https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf

6. Hanus, M., Kuchen, H., Moreno-Navarro, J.J., Votano, J., Parham, M., Hall, L.: Curry: A Truly Functional Logic Language. ILPS'95 Workshop on Visions for the Future of Logic Programming pp. 95-107 (1995)

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

8. Lazutkin, E.: Unification for JS (2014), http://www.lazutkin.com/blog/2014/05/18/unification-for-js/

9. Meijer, E., Beckman, B., Bierman, G.: LINQ: Reconciling Objects, Relations and XML in the .NET Framework. In: ACM SIGMOD International Conference on Management of data. p. 706 (2006). https://doi.org/10.1145/1142473.1142552

10. Microsoft: Reference Types (C# Reference) (2015), https://docs.microsoft.com/de-de/dotnet/csharp/language-reference/keywords/reference-types

11. Odersky, M., Altherr, P., Cremet, V., Dubochet, G., Emir, B., Haller, P., Micheloud, S., Mihaylov, N., Moors, A., Rytz, L., Schinz, M., Stenman, E., Zenger, M.: Scala Language Specification (2017), http://www.scala-lang.org/files/archive/spec/2.12/

12. Ostermayer, L.: Seamless Cooperation of Java and Prolog for RuleBased Software Development. In: Proceedings of RuleML 2015 (2015), http://ceur-ws.org/Vol-1417/paper2.pdf

13. Plu¨micke, M.: Java type unification with wildcards. In: Applications of Declarative Programming and Knowledge Management. INAP 2007, WLP 2007. Springer (2009). https://doi.org/10.1007/978-3-642-00675-3 15

14. Urma, R.G., Fusco, M., Mycroft, A.: Java 8 in Action: Lambdas, Streams, and Functional-style Programming. Manning Publications Co., Greenwich, CT (2014)

15. Van Roy, P., Brand, P., Duchier, D., Haridi, S., Schulte, C., Henz, M.: Logic programming in the context of multiparadigm programming: the Oz experience. Theory and Practice of Logic Programming 3(6), 717-763 (2003). https://doi.org/10.1017/S1471068403001741

Related research
Abstract
Comment: 12 pages, Accepted for presentation in WFLP 2018
Subjects
free text keywords: Computer Science - Programming Languages, Object-oriented programming, Theoretical computer science, Primitive data type, Hierarchy, Programming language, computer.software_genre, computer, Reference type, Computer science, Business software, business.industry, business
Download fromView all 3 versions
http://arxiv.org/pdf/1808.0818...
Part of book or chapter of book
Provider: UnpayWall
http://dx.doi.org/10.1007/978-...
Other literature type . 2019
Provider: Datacite

1. Antoy, S., Hanus, M.: From Boolean Equalities to Constraints. In: Logic-Based Program Synthesis and Transformation. pp. 73-90 (2015) [OpenAIRE]

2. Dagefo¨rde, J.C., Kuchen, H.: An Operational Semantics for Constraint-logic Imperative Programming. In: Proc. Declare 2017 (2017)

3. Dagefo¨rde, J.C., Kuchen, H.: A Constraint-logic Object-oriented Language. In: SAC 2018. pp. 1185-1194. ACM (2018). https://doi.org/10.1145/3167132.3167260 [OpenAIRE]

4. Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Science of Computer Programming 57(2), 217-250 (2005). https://doi.org/10.1016/j.scico.2005.02.001 [OpenAIRE]

5. Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java R Language Specification - Java SE 8 Edition (2015), https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf

6. Hanus, M., Kuchen, H., Moreno-Navarro, J.J., Votano, J., Parham, M., Hall, L.: Curry: A Truly Functional Logic Language. ILPS'95 Workshop on Visions for the Future of Logic Programming pp. 95-107 (1995)

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

8. Lazutkin, E.: Unification for JS (2014), http://www.lazutkin.com/blog/2014/05/18/unification-for-js/

9. Meijer, E., Beckman, B., Bierman, G.: LINQ: Reconciling Objects, Relations and XML in the .NET Framework. In: ACM SIGMOD International Conference on Management of data. p. 706 (2006). https://doi.org/10.1145/1142473.1142552

10. Microsoft: Reference Types (C# Reference) (2015), https://docs.microsoft.com/de-de/dotnet/csharp/language-reference/keywords/reference-types

11. Odersky, M., Altherr, P., Cremet, V., Dubochet, G., Emir, B., Haller, P., Micheloud, S., Mihaylov, N., Moors, A., Rytz, L., Schinz, M., Stenman, E., Zenger, M.: Scala Language Specification (2017), http://www.scala-lang.org/files/archive/spec/2.12/

12. Ostermayer, L.: Seamless Cooperation of Java and Prolog for RuleBased Software Development. In: Proceedings of RuleML 2015 (2015), http://ceur-ws.org/Vol-1417/paper2.pdf

13. Plu¨micke, M.: Java type unification with wildcards. In: Applications of Declarative Programming and Knowledge Management. INAP 2007, WLP 2007. Springer (2009). https://doi.org/10.1007/978-3-642-00675-3 15

14. Urma, R.G., Fusco, M., Mycroft, A.: Java 8 in Action: Lambdas, Streams, and Functional-style Programming. Manning Publications Co., Greenwich, CT (2014)

15. Van Roy, P., Brand, P., Duchier, D., Haridi, S., Schulte, C., Henz, M.: Logic programming in the context of multiparadigm programming: the Oz experience. Theory and Practice of Logic Programming 3(6), 717-763 (2003). https://doi.org/10.1017/S1471068403001741

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 . Other literature type . 2018

Reference Type Logic Variables in Constraint-logic Object-oriented Programming

Dageförde, Jan C.;