📄 http:^^www.cs.washington.edu^research^projects^weird^www^kaleidoscope-oopsla-94.html
字号:
Date: Tue, 10 Dec 1996 03:26:34 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><TITLE>Implementing Constraint Imperative Programming Languages: TheKaleidosope'93 Virtual Machine</title></head><body><H2>Implementing Constraint Imperative Programming Languages:The Kaleidosope'93 Virtual Machine</H2><p>Authors: Gus Lopez, Bjorn Freeman-Benson, and Alan Borning<p>Published in <em>Proceedings of the 1994 ACM Conference on Object-OrientedProgramming Systems, Languages, and Applications</em>, Portland, Oregon,October 1994, pages 259-271.<P><hr><H3>Abstract</H3>Constraint Imperative Programming (CIP) languages integrate declarativeconstraints with imperative state and destructive assignment, yielding apowerful new programming paradigm. However, CIP languages are difficultto implement efficiently due to complex interactions between the two donorparadigms. Neither the virtual machines for classical object-orientedlanguges, nor those for existing constraint languages, are suitable forimplementing CIP languages, as each assumes a purely imperative or a purelydeclarative computation model. We have developed a new virtual machine forCIP languages, the K-machine, an imperative machine with an incrementalconstraint solver and a constraint-based, rather than value-based, data store.This virtual machine allows user-defined constraints to be defined usingconstraint constructor definitions which are the CIP analog to methoddefinitions. Similar to methods, these constructors are able to referencevariables indirectly through many levels of pointers. The K-machine maintainsrelations between objects in the presence of state change to these indirectlyreferenced objects. The K-machine is capable of supporting a wide varietyof CIP languages, including our most recent: Kaleidoscope'93.<P><HR><P>Click <!WA0><a href="ftp://cs.washington.edu/tr/1994/07/UW-CSE-94-07-07.PS.Z">here</a> to get the postscript file.<P>Return to <!WA1><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -