The Design and Implementation of Kaleidoscope'90, A Constraint Imperative Programming Language (1992) [27 citations — 4 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Bjorn N. Freeman-Benson and Alan Borning},
title = {The Design and Implementation of Kaleidoscope'90, A Constraint Imperative Programming Language},
booktitle = {In Proceedings of the IEEE Computer Society International Conference on Computer Languages},
year = {1992},
pages = {174--180}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
Two major paradigms in computer programming languages are imperative and declarative programming. We describe a scheme for languages that integrate specific features from these two paradigms into a new framework: Constraint Imperative Programming. Along with the framework, we discuss the design and implementation of a particular instance of this framework, Kaleidoscope'90. From the imperative paradigm, constraint imperative programming adopts explicit control flow, state, and assignment. From the declarative paradigm, it adopts explicit, systemmaintained constraints (relations that should hold). There is a strong practical motivation for making this integration: in a typical application, some portions are most clearly described using imperative constructs, while other portions are most clearly described using constraints. By using a constraint imperative language, the most suitable paradigm can be used as appropriate. 1 Introduction We propose to combine two simple techniques--- decl...
