Research paper; OOPSLA October 1992. ResearchIndex.

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.

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

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

(Postscript) A paper by Matthias Blume (1997) which presents an outline of a module system for Scheme to solve several problems encountered with contemporary implementations.

Academic research paper on jini security.

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)

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

ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.