1 - 8 of 8 Chapters
[This book is concerned with the theory and practice of multiparadigm constraint programming languages.]
[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].]
[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.]
[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...
[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...
[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...
[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...
[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.]
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.