The user interface to the Smalltalk-80 system is a multipurpose interface, designed to facilitate text and graphics creation and manipulation, program development, and information storage and retrieval. You, as the user create, manipulate, save, or retrieve, either a visual form or specific

This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. From existing compilers we derive some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we

. The purpose of this paper is to propose the framework as an evaluation technique for visual programming environments. We apply it to two commercially-available dataflow languages (with further examples from other systems) and conclude that it is effective and insightful; other HCI-based evaluation

representation of application domain : : : : : : : : 56 4.4.1 Abstract representation of state : : : : : : : : : : : : 57 4.4.2 A user session : : : : : : : : : : : : : : : : : : : : : : 58 4.5 SEAL: an experiment in UI definition : : : : : : : : : : : : 59 4.5.1 The ASF+SDF specification formalism : : : : : : : 59 4.5.2 Overview of SEAL : : : : : : : : : : : : : : : : : : : 61 4.5.3 Examples in SEAL : : : : : : : : : : : : : : : : : : : 64 4.5.4 Miscellaneous issues : : : : : : : : : : : : : : : : : : 69 4.5.5 Implementation : : : : : : : : : : : : : : : : : : : : : 69 4.6 Related work : : : : : : : : : : : : : : : : : : : : : : : : : : 72 4.6.1 Representational schemes : : : : : : : : : : : : : : : 72 4.6.2 Connection mechanisms : : : : : : : : : : : : : : : : 74 4.7 Discussion and conclusions : : : : : : : : : : : : : : : : : : : 75 4.7.1 Summary : : : : : : : : : : : : : : : : : : : : : : : : 75 4.7.2 Advantages : : : : : : : : : : : : : : : : : : : : : : : 76 4.7.3 Disadvantages : : : : : : : : : : : : : : : : : : : : : : 76 4.7.4 Final remarks : : : : : : : : : : : : : : : : : : : : : : 77 5 Generating applications with SEAL: some case studies 79 5.1

continuously interact with a given physical environment, when this environment is unable to sy...

Language-based editors (LBE’s) for programming languages are central components of Interactive Programming Environments (IPE’s). These editors incorporate knowledge about programming languages in order to make program construction less difficult. They may also serve as gateways to the IPE

The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it evolved a type structure; created on a tiny machine as a tool to improve a meager programming environment, it has become

environment for Java, called Java PathFinder (JPF), which integrates model checking, program analysis and testing. Part of this work has consisted of building a new Java Virtual Machine that interprets Java bytecode. JPF uses state compression to handle big states, and partial order and symmetry reduction

This paper presents a new and very rich class of (con-current) programming languages, based on the notion of comput.ing with parhal information, and the con-commitant notions of consistency and entailment. ’ In this framework, computation emerges from the inter-action of concurrently executing

changes in the social environment will produce changes in individuals, and that the support of individ-uals in the population is essential for implementing environmental changes.