The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.

Granular Lucid, GLU: coarse-grain dataflow language for programming conventional parallel computers; based on Lucid (circa 1994) an implicitly parallel, multidimensional dataflow language. A GLU program is a Lucid program with imperatively defined dat...

Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.

Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z)

Academic research paper on jini security.

A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints), and str...

Describes basic elements (data, actions, tunings, voids, mixtures, ...) and principles of programming (stratification, implicit knowledge, limited freedom, ...), directed to amalgamating different programming paradigms (imperative, object-oriented, fu...

Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.

Research paper; Department of Data Processing and Operations Research, University of Montreal, Quebec, Canada. ResearchIndex.

Research paper; OOPSLA October 1992. ResearchIndex.