Top

Published in:

2019 | OriginalPaper | Chapter

Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming

Author : Jan C. Dageförde

Published in: Functional and Constraint Logic Programming

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Constraint-logic object-oriented programming, for example using Muli, facilitates the integrated development of business software that occasionally involves finding solutions to constraint-logic problems. The availability of object-oriented features calls for the option to use objects as logic variables as well, as opposed to being limited to primitive type logic variables. The present work contributes a concept for reference type logic variables in constraint-logic object-oriented programming that takes arbitrary class hierarchies of programs written in object-oriented languages into account. The concept discusses interactions between constraint-logic object-oriented programs and reference type logic variables, particularly invocations on and access to logic variables, type operations, and equality. Furthermore, it proposes approaches as to how these interactions can be handled by a corresponding execution environment.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

next chapter FMS: Functional Programming as a Modelling Language

Even though

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-16202-3_8/MediaObjects/482311_1_En_8_Figg_HTML.gif

is not declared explicitly in the given interface, the Java language specification implicitly augments interfaces with abstract methods that correspond to every method that is declared in

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-16202-3_8/MediaObjects/482311_1_En_8_Figh_HTML.gif

[5, Sect. 9.2]. Among others, this includes an implicit declaration of

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-16202-3_8/MediaObjects/482311_1_En_8_Figi_HTML.gif

that is consistent with the corresponding declaration in

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-16202-3_8/MediaObjects/482311_1_En_8_Figj_HTML.gif

Note that only the standalone use of type variables is disregarded here. Consequently, the reference types that we consider in the following may still make use of type variables as part of parameterised (generic) types.

In general, this includes parameterised (generic) types that remain in parameterised form (e.g.,

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-16202-3_8/MediaObjects/482311_1_En_8_Figbs_HTML.gif

). Therefore, this set is finite.

Note that here \(fields(o_1) = fields(o_2)\) since \(type(o_1) = type(o_2)\), so \(fields(o_2)\) could be used just as well.

https://github.com/wwu-pi/muli.

Antoy, S., Hanus, M.: From boolean equalities to constraints. In: Falaschi, M. (ed.) LOPSTR 2015. LNCS, vol. 9527, pp. 73–88. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-27436-2_5CrossRef

Dagefö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

Dageförde, J.C., Kuchen, H.: An operational semantics for constraint-logic imperative programming. In: Seipel, D., Hanus, M., Abreu, S. (eds.) WFLP/WLP/INAP 2017. LNCS, vol. 10997, pp. 64–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00801-7_5CrossRef

Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Sci. Comput. Program. 57(2), 217–250 (2005). https://doi.org/10.1016/j.scico.2005.02.001CrossRef

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

Hanus, M., Kuchen, H., Moreno-Navarro, J.J., Votano, J., Parham, M., Hall, L.: Curry: a truly functional logic language. In: Workshop on Visions for the Future of Logic Programming, ILPS 1995, pp. 95–107 (1995)

King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976). https://doi.org/10.1145/360248.360252MathSciNetCrossRefMATH

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

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., et al.: Scala Language Specification (2017). http://www.scala-lang.org/files/archive/spec/2.12/

12.

Ostermayer, L.: Seamless cooperation of Java and Prolog for rule-based software development. In: Proceedings of RuleML 2015 (2015). http://ceur-ws.org/Vol-1417/paper2.pdf

13.

Plümicke, M.: Java type unification with wildcards. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP/WLP 2007. LNCS, vol. 5437, pp. 223–240. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00675-3_15CrossRef

14.

Urma, R.G., Fusco, M., Mycroft, A.: Java 8 in Action: Lambdas, Streams, and Functional-Style Programming. Manning Publications Co., Greenwich (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 Pract. Logic Program. 3(6), 717–763 (2003). https://doi.org/10.1017/S1471068403001741CrossRefMATH

Title: Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming
Author: Jan C. Dageförde
Publisher: Springer International Publishing
Book: Functional and Constraint Logic Programming
Print ISBN: 978-3-030-16201-6

Electronic ISBN: 978-3-030-16202-3

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-16202-3_8

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner