Bruce Horn. Properties of User Interface Systems and the Siri Programming Language. In Brad A. Myers, Ed., Languages for Developing User Interfaces, Jones and Bartlett Publishers, Boston, MA, 1992, pp. 211-238.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....exploits a more elaborated approach of replacing cycles through algebraic transformations. General constraint languages based on term rewriting solvers have also been used in the context of graphical applications, for example the systems Bertrand [Leler, 1988] Equate [Wilk, 1991] and Siri [Horn, 1992]. Geometric solvers Here, we point to the so called geometric constraint engine by [Kramer, 1992] which provides a geometric constraint solver that allows direct inferences along DOFs of geometric entities. Domain specific solvers Many graphics and visualization systems make use of ....

B. Horn. Properties of User Interface Systems and the Siri Programming Language. In B. Myers, editor, Languages for Developing User Interfaces, pages 211--236. Jones and Barlett, Boston, MA, 1992.

....constraints between arbitrary objects, and restrict constraints to instance variables. For example, Siri, another CIP language that is probably the closest relative to Kaleidoscope 93, only re satisfies constraints between instance variables within the representation of a single object [Horn 92a] Horn 92b] Most of these systems support a mechanism for deleting constraints at run time. This is necessary when the constraints are no longer needed. However, since most constraints will be needed in the future, deleting them and then re creating them and updating the constraint graph may be expensive. ....

Bruce Horn. "Properties of user interface systems and the Siri programming language". In Brad Myers, editor, Languages for Developing User Interfaces, pages 211-236. Jones and Bartlett, Boston, 1992.

....a more elaborated approach of replacing cycles through algebraic transformations. General constraint languages based on term rewriting solvers have also been used in the context of graphical applications, for example the systems Bertrand [ Leler, 1988 ] Equate [ Wilk, 1991 ] and Siri [ Horn, 1992 ] 8 you may also consult [Takahashi et al. 1995 ] Geometric solvers Here, we point to the so called geometric constraint engine by [ Kramer, 1992 ] which provides a geometric constraint solver that allows direct inferences along DOFs of geometric entities. Domain specific solvers Many ....

B. Horn. Properties of User Interface Systems and the Siri Programming Language. In B. Myers, editor, Languages for Developing User Interfaces, pages 211--236. Jones and Barlett, Boston, MA, 1992.

....and includes the CLP and cc (concurrent constraint) languages [Cohen 90, Colmerauer 90, Jaffar Lassez 87, Saraswat 89, Van Hentenryck 89, Van Hentenryck et al. 92, Wilson Borning 93] Other constraint languages include Steele s language [Steele Jr. 80] Bertrand [Leler 87] and Siri [Horn 92a, Horn 92b] Of these, Siri, another constraint imperative language, is the closest to Kaleidoscope. For discussions of related work beyond this brief mention, see [Borning et al. 92, Freeman Benson Borning 92b, Freeman Benson 91] The first version of Kaleidoscope, Kaleidoscope 90, had a Smalltalk like ....

Bruce Horn. Properties of user interface systems and the Siri programming language. In Brad Myers, editor, Languages for Developing User Interfaces, pages 211--236. Jones and Bartlett, Boston, 1992.

.... Garnet [35] GITS [37] GROW [1] Peridot [34] Picasso [38] RENDEZVOUS [21, 22] the RTL CRTL tiled window layout system [7] and ThingLab II [31, 32] Finally, researchers have developed several general purpose languages that use constraints, including Bertrand [30] Kaleidoscope [14, 18] Siri [23, 24], as well as a number of languages integrating constraints with logic programming including CAL [42] CHIP [9, 46] CLP(R) 27, 28] CLP(6 ) 48] HCLP(R) 6, 49] Prolog III [8] and the cc (concurrent constraint) languages [41, 40] 2.1 Refinement versus Perturbation We can roughly classify ....

Bruce Horn. Properties of User Interface Systems and the Siri Programming Language. In Brad Myers, editor, Languages for Developing User Interfaces, pages 211--236. Jones and Bartlett, Boston, 1992.

....term rewriting. Lamport and Schneider [20] propose adding constraints to an imperative language, as a uniform approach encompassing both aliasing and typing. Their primary motivation is the development of proof systems. Perhaps the closest work to that described here is Horn s Siri language [14, 15], which is also a hybrid object oriented constraint imperative language. There are a number of differences between Siri and CIP. First, Siri uses only required constraints, rather than a constraint hierarchy. Therefore, the user must explicitly indicate when values are to remain the same as time ....

Bruce Horn. Properties of User Interface Systems and the Siri Programming Language. In Brad Myers, editor, Languages for Developing User Interfaces. Jones and Bartlett, Boston, 1992.

.... 91] Freeman Benson Borning 92] and [Lopez et al. 93] Further information on the incremental local propagation algorithms used in this implementation can be found in [Freeman Benson et al. 90] and [Sannella 93] Other constraint based languages include Bertrand [Leler 87] and Siri [Horn 92b] Horn 92a] Both Bertrand and Siri are based on an Augmented Term Rewriting virtual machine, which is not powerful enough to support all of the imperative features of Kaleidoscope such as long lived constraints between arbitrary objects. 3. Note that by compile time analysis we are only ....

Bruce Horn. Properties of user interface systems and the Siri programming language. In Brad Myers, editor, Languages for Developing User Interfaces, pages 211--236. Jones and Bartlett, Boston, 1992.

No context found.

Bruce Horn. Properties of User Interface Systems and the Siri Programming Language. In Brad A. Myers, Ed., Languages for Developing User Interfaces, Jones and Bartlett Publishers, Boston, MA, 1992, pp. 211-238.

No context found.

Bruce Horn, `Properties of user interface systems and the Siri programming language', in Brad Myers (ed.), Languages for Developing User Interfaces, Jones and Bartlett, Boston, 1992, pp. 211--236.

No context found.

Horn, B. (1992b). Properties of user interface systems and the Siri programming language. In B. Myers (Ed.), Languages for Developing User Interfaces, pp. 211--236. Boston: Jones and Bartlett.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC