Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Multiparadigm Constraint Programming Languages

Part of the Cognitive Technologies Book Series

DOI: 10.1007/978-3-642-17330-1

ISBN: 978-3-642-17329-5

Publisher: Springer Berlin Heidelberg - Springer Journals

May 17, 2011

Available

Introduction

Hofstedt, Petra

Pages: 1 –3

[This book is concerned with the theory and practice of multiparadigm constraint programming languages.]
Available

Basic Notions

Hofstedt, Petra

Pages: 9 –15

[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].]
Available

Programming Languages and Paradigms

Hofstedt, Petra

Pages: 17 –34

[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.]
Available

Constraints

Hofstedt, Petra

Pages: 35 –51

[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...
Available

Multiparadigm Constraint Programming Languages

Hofstedt, Petra

Pages: 53 –75

[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...
Available

Concurrent Constraint Functional Programming with CCFL

Hofstedt, Petra

Pages: 81 –122

[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...
Available

A Generic Framework for Multiparadigm Constraint Programming

Hofstedt, Petra

Pages: 123 –157

[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...
Available

Outlook

Hofstedt, Petra

Pages: 159 –160

[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.]

results per page

Prev
1
Next

Browse All eBooks