This paper describes the evolution of the Transportable applications Executive (TAJZ) (developed at NASA/Goddard Space Flight Center) from a traditional procedural menu and co-doriented system to an object-oriented, m...
详细信息
ISBN:
(纸本)0897912845
This paper describes the evolution of the Transportable applications Executive (TAJZ) (developed at NASA/Goddard Space Flight Center) from a traditional procedural menu and co-doriented system to an object-oriented, modeless user interface management system, known as TAE Plus. The impetus for developing this environment and early experiments which led to its current implementation are addressed. The current version of TAE Plus provides design and prototyping functions, working in tandem with a mature application management system. The main components are (1) a user interface designers' WorkBench that allows an application developer to interactively layout an application screen and define the static and/or dynamic areas of the screen;(2) an application programner subroutine package that provides runtime services used to display and control WorkBench-designed interaction objects" on the screen;and (3) an extension to the existing TAE corwnand language that provides cormnds for displaying and manipulating interaction objects, thus providing a means to quickly prototype an application's user interface. During TAE Plus develqment, many design and implementation decisions were based on the stateof- the-art within graphics workstations, windowing systems and object-oriented programning languages, and this paper shares some of the problems and issues experienced during implementation. Some of the topics discussed include: lessons learned in using the Smalltalkn' language to prototype the initial WorkBench;why C++ was selected (over other languages) to build the WorkBench;and experiences in using X Window SystemTM and Stanford's Interviews object library The paper concludes with open issues and a description of the next steps involved in implementing the "totally modem" TAE.
This paper describes an execution model being developed for distributed object-oriented computation in a message-passing multiple-instruction/multiple-data-stream (MIMD) cmimun. The objective is to execute an object-o...
详细信息
ISBN:
(纸本)0897912845
This paper describes an execution model being developed for distributed object-oriented computation in a message-passing multiple-instruction/multiple-data-stream (MIMD) cmimun. The objective is to execute an object-oriented pogrum S concurrently as possible. Some opportunities for cmmmenq can be identified explicitly by the programmer. Chehers can be identified at compile time. There are some opportunities for concumncy. however, that can only be discovered atnmtime because they are datadependent. The model of execution we describe attempts to discover and exploit the data-dependent concumncyrhatexistsina given program execution.
The proceedings contain 24 papers. The special focus in this conference is on Computer Science Logic. The topics include: The conjunctive complexity of quadratic boolean functions;on type inference for object-oriented...
ISBN:
(纸本)9783540502418
The proceedings contain 24 papers. The special focus in this conference is on Computer Science Logic. The topics include: The conjunctive complexity of quadratic boolean functions;on type inference for object-orientedprogramminglanguages;optimization aspects of logical formulas;logic of approximation reasoning;deciding the path- and word-fair equivalence problem;learning by teams from examples with errors;a survey of rewrite systems;interfacing a logic machine;complexity cores and hard-to-prove formulas;resolution with feature unification;on the average case complexity of backtracking for the exact-satisfiability problem;on functions computable in nondeterministic polynomial time: Some characterizations;developing logic programs: Computing through normalizing;model theory of deductive databases;algorithms for propositional updates;surjectivity for finite sets of combinators by weak reduction;proving finite satisfiability of deductive databases;is setl a suitable language for parallel programming — a theoretical approach;loose diagrams, semigroupoids, categories, groupoids and iteration;algebraic operational semantics and modula-2;program verification using dynamic logic;induction in the elementary theory of types and names.
The proceedings contain 16 papers. The topics discussed include: making products using object-orientedprogramming;visual languages: what, why, and what's the object?;data abstraction and hierarchy;report on the o...
ISBN:
(纸本)0897912667
The proceedings contain 16 papers. The topics discussed include: making products using object-orientedprogramming;visual languages: what, why, and what's the object?;data abstraction and hierarchy;report on the object-oriented database workshop: implementation aspects;panel on object-oriented database systems;workshop on compiling and optimizing object-orientedprogramminglanguages;summary of object-oriented tools workshop at oopsla'87;object-oriented database workshop: semantic aspects;of types and prototypes: the treaty of Orlando;oopsla'87 Inheritance BOF;and oopsla'87 panel P2: varieties of inheritance.
This paper describes a system for sharing information in the form of objects among users of the Smalltalk-80 programming environment. The system, called Coral3, is pragmatic in that it was developed to meet the needs ...
详细信息
Most felt that the workshop had been a good experience, but the key issues and topics of this workshop had not yet been fully addressed. More research was required and experiences both positive and negative need to be...
详细信息
暂无评论