摘要:

AbstractThe role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described in terms of CSP is outlined, with emphasis on the translation from CSP to Prolog, the central implementation issues in a Prolog context, and techniques for generating all traces up to termination or recursion. Some experiences with the use of the generator are mentioned, and potential extensions for generating traces of LOTOS descriptions are mentioned.

ISSN:0038-0644    

DOI:10.1002/spe.4380170702

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper describes the production of a system to control an electronic cricket scoreboard. The main feature of the system is the ability of the operator to ‘undo’ operations that he has performed, in order to correct errors that has has made. Undo is implemented by reversing the execution of the program. The code to perform the reversal is generated automatically and results in a minimal amount of state information being recorder

ISSN:0038-0644    

DOI:10.1002/spe.4380170703

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractA system for dynamic compilation under the Unix operating system is described. The basis of the system is an incremental assembler that can be used statically or during program execution to insert or replace a module in an executable image. All cross‐module references are via offets into a run‐time symbol table. All generated code is independent of its location or the location of the symbol table. The symbol table and all modules reside in memory segments compatible with the memory allocatormalloc(). The symbol table origin is maintained in a processor register. Library procedures allow the assembler (or C compiler) to be called to alter the currently executing program, or to place a stub function which acts as a trap, so that when the stub is invoked it caues a file to be dynamically compiled into the executing program to replace the stub with a bona fide procedure. This facilitates the construction of advanced interactive environments using native code. Some example applications, to Prolog and to incremental compilation, are conside

ISSN:0038-0644    

DOI:10.1002/spe.4380170704

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractWe present conceptual and implementation aspects of a one‐pass Modula‐2 compiler that was developed by Xerox PARC's future Dragon workstation. Dragon features several architectural innovations. Among them are a reduced instruction set and a stack of fast registers used to store local data.This paper emphasizes problems and solutions connected with one‐pass compilation. Although a little out of fashion at present, this simple method, if appropriately applied, turns out to be surprisingly pow

ISSN:0038-0644    

DOI:10.1002/spe.4380170705

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170701

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY