http:^^www.cs.washington.edu^research^projects^weird^www^kaleidoscope-oopsla-94.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 60 行

HTML
60 行
字号 
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>

http:^^www.cs.washington.edu^research^projects^weird^www^kaleidoscope-oopsla-94.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.washington.edu^research^projects^weird^www^kaleidoscope-oopsla-94.html 源码文件，采用 HTML 编程语言编写，共 60 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?