摘要:

AbstractA constraint‐based graphics system provides a flexible, intuitive framework for describing relationships among graphical objects in applications such as document preparation, fount design and solid modelling. This paper describes two constraint‐based graphics systems, micro‐COSM and the IDEAL Synthesizer, and their implementation in terms of attribute grammars. Our experiences with attribute grammars suggest that they provide a powerful framework for representing constraints and extracting important semantic information such as the equations to be solved by the constraint solver. We discuss the advantages of using attribute grammars in constraint‐based graphics and from our experiences make several observations about the way attribute grammars should

ISSN:0038-0644    

DOI:10.1002/spe.4380190402

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY

摘要:

AbstractEditing the script of an interactive session on‐line can replace or enhance common interaction techniques and help to separate the user interface from the computation. We describe a text editor that executes scriptsincrementally, co‐operating with application programs to undo and redo script parts. The user edits the input part of a transcript, and the editor updates the output part. The transcript becomes a clear and reusable document. The applications choose the backtracking steps, and can thus evolve gradually. Extensions to non‐linear dialogues are in pro

ISSN:0038-0644    

DOI:10.1002/spe.4380190403

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY

摘要:

AbstractA declarative programming style is claimed to have significant advantages from a software engineering point of view. However, these benefits cannot generally be realized when writing programs that are concerned with changing state, such as environments and programming tools. Declarative state‐transition (DST) systems have been proposed as a solution to this problem. In DST systems, computation and update are separated. Programs are interpreted as defining functions or relations over states, and update follows successful computation of new states. Support for persistent state and atomic, serializable transactions facilitates the implementation of programming environments and tools. This paper describes an implementation scheme for DST systems. The scheme is illustrated by a presentation of the implementation of PPS, a DST system for parallel logic programmin

ISSN:0038-0644    

DOI:10.1002/spe.4380190404

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY

摘要:

AbstractThis paper describes the user interface facilities of the ECLIPSE integrated project support environment. This interface is based on a consistent metaphor called the ‘control panel’ metaphor and includes standard help and message‐handling systems. The paper describes these as well as some of the interface standards which have been developed. The interface has been implemented on top of the ‘applications interface’, which provides a portable, hardware‐independent interface for sof

ISSN:0038-0644    

DOI:10.1002/spe.4380190405

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY

摘要:

AbstractThis paper describes the generation of file processing programmes within the TUBA environment. Program structures are derived from data structures according to the JSP method. Expressions describing output data are specified in user‐system dialogues. The program specifications are stored in the dictionary. Complete executable programs can be generated from these specification

ISSN:0038-0644    

DOI:10.1002/spe.4380190406

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380190401

出版商:John Wiley&Sons, Ltd.    

年代:1989

数据来源: WILEY