Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

2011 | Buch

Introduction Kapitel lesen Erstes Kapitel lesen

Multiparadigm Constraint Programming Languages

verfasst von: Petra Hofstedt

Verlag: Springer Berlin Heidelberg

Buchreihe : Cognitive Technologies

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Einloggen, um Zugang zu erhalten
insite
SUCHEN

Über dieses Buch

Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style, concepts, and methods of the language for describing situations and processes and for solving problems, and each paradigm serves best for programming in particular application areas. Real-world problems, however, are often best implemented by a combination of concepts from different paradigms, because they comprise aspects from several realms, and this combination is more comfortably realized using multiparadigm programming languages.

This book deals with the theory and practice of multiparadigm constraint programming languages. The author first elaborates on programming paradigms and languages, constraints, and the merging of programming concepts which yields multiparadigm (constraint) programming languages. In the second part the author inspects two concrete approaches on multiparadigm constraint programming – the concurrent constraint functional language CCFL, which combines the functional and the constraint-based paradigms and allows the description of concurrent processes; and a general framework for multiparadigm constraint programming and its implementation, Meta-S.

The book is appropriate for researchers and graduate students in the areas of programming and artificial intelligence.

Inhaltsverzeichnis

Frontmatter
Chapter 1. Introduction
Abstract
This book is concerned with the theory and practice of multiparadigm constraint programming languages.
Petra Hofstedt

Paradigms, Constraints, and Multiparadigm Programming

Frontmatter
Chapter 2. Basic Notions
Abstract
This chapter provides a brief introduction to basic notions and definitions from algebra and predicate logic. For further discussion, examples, and presentation of concepts see e.g. [55, 22, 169, 106].
Petra Hofstedt
Chapter 3. Programming Languages and Paradigms
Abstract
Before we can discuss the amalgamation of programming paradigms in Chapter 5, we need to become familiar with basic concepts and notions from the programming languages area.
Petra Hofstedt
Chapter 4. Constraints
Abstract
This chapter deals with constraints and constraint programming (CP). In Sections 4.1 and 4.2 we introduce fundamental notions of constraint programming and illustrate them by means of examples. We show the appearance and use of constraints in programming languages in Section 4.3 and discuss applications of constraints in Section 4.4.
Petra Hofstedt
Chapter 5. Multiparadigm Constraint Programming Languages
Abstract
The notion "multiparadigm programming language" refers to the integration of concepts and constructs of two or more paradigms such that the programmer can describe problems and their solutions in a mixed style using an appropriate view at any one time. This allows comfortable and efficient modeling, programming and solving of problems. For instance, to integrate a database application into a functional program, the user is best served if the functional language provides established database concepts and terminology. Another example is the description of scheduling tasks within an imperative program which is more appropriately done using e.g. constraint-based expressions rather than a pure imperative description.
Petra Hofstedt

Case Studies

Frontmatter
Chapter 6. Concurrent Constraint Functional Programming with CCFL
Abstract
The Concurrent Constraint Functional Language CCFL is a multiparadigm constraint programming language combining the functional and the constraintbased paradigms. CCFL allows a pure functional programming style, but also the use of constraints for efficient problem modeling on the one hand and for the description of communication and synchronization of concurrent processes on the other hand.
Petra Hofstedt
Chapter 7. A Generic Framework for Multiparadigm Constraint Programming
Abstract
In this chapter we present a framework for the integration of arbitrary declarative programming languages and constraints. This approach goes beyond the methods presented so far and tackles the subject of language integration from a completely different point of view: Our main concept is constraint solver cooperation.
Petra Hofstedt
Chapter 8. Outlook
Abstract
In this book we investigated the area of multiparadigm constraint programming languages. We discussed established and new approaches in the field and presented two concrete approaches in theory and practice.
Petra Hofstedt
Backmatter
Metadaten
Titel
Multiparadigm Constraint Programming Languages
verfasst von
Petra Hofstedt
Copyright-Jahr
2011
Verlag
Springer Berlin Heidelberg
Electronic ISBN
978-3-642-17330-1
Print ISBN
978-3-642-17329-5
DOI
https://doi.org/10.1007/978-3-642-17330-1

Premium Partner

    Bildnachweise