See this document in CiteSeerX!

An Integrated Approach to the Generation of Environments from Formal Specifications (1994)  (Make Corrections)  (4 citations)
Alan Dearle, Michael Oudshoorn, Karen Wyrwas
17th Annual Computer Science Conf. (Australian Computer Science Comm.)



  Home/Search   Context   Related

 
View or download:
dcs.stand.ac.uk/rsch/pub...DOW94.ps.gz
adelaide.edu.au/users/micha...ACSC17.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.stand.ac.uk/rsch/publicat... (more)
From:  adelaide.edu.au/us...publications
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper describes an experiment in the use of a persistent object store to support the construction and execution of a software development environment. This development environment presents the user with language specific editors which provide access to incremental parsers. The editors and parsers are automatically generated from a formal language specification based on attribute grammars. This is facilitated through the persistent management of types and values and a... (Update)

Context of citations to this paper:   More

.... in part on work completed earlier as part of a consulting contract with DSTO, Salisbury, This work is referred to as the PIPE project [6] and its focus is the development of a persistent integrated programming environment. This project is similar in ambition, but differs from...

.... binding allows the programmer to build flexible, integrated tools from shared libraries of persistent software and data components; e.g. [15]. The incremental binding model is well suited to prototyping[8] and to building software systems with a strong requirement for...

Cited by:   More
Persistence, Programming Languages and Supercomputing. Where is.. - Oudshoorn   (Correct)
Orthogonal Persistence and Ada - Crawley, Oudshoorn (1994)   (Correct)
The Addition of Persistence to Ada95 and its Consequences - Oudshoorn, Crawley   (Correct)

Similar documents (at the sentence level):
5.3%:   AGDL An Attribute Grammar Description Language - Karen Wyrwas   (Correct)

Active bibliography (related documents):   More   All
0.5:   Reflection and Hyper-Programming in Persistent Programming Systems - Kirby (1992)   (Correct)
0.3:   Operating System Support for Inter-Domain Type Checking - Farkas, Dearle, Hulse   (Correct)
0.3:   Delivering the Benefits of Persistence to System Construction and.. - Cutts (1992)   (Correct)

Similar documents based on text:   More   All
0.1:   GATE user's manual - Mueller (1999)   (Correct)
0.0:   Computer Graphics and Visualisation - Developed By   (Correct)
0.0:   In This Issue... - Bibliographer Profile Ugl   (Correct)

Related documents from co-citation:   More   All
4:   An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983
3:   Persistent program construction through browsing and user gesture with some typi.. (context) - Farkas, Dearle et al. - 1992
3:   PS-algol: An algol with a persistent heap (context) - Atkinson, Chisholm et al. - 1982

BibTeX entry:   (Update)

A. Dearle, M.J. Oudshoorn and K. Wyrwas, "An Integrated Approach to the Generation of Environments from Formal Specifications". Australian Computer Science Communications, Volume 16, Number 1, February 1994, pp 217-228. http://citeseer.ist.psu.edu/dearle94integrated.html   More

@article{ dearle94integrated,
    author = "Alan Dearle and Michael Oudshoorn and Karen Wyrwas",
    title = "An Integrated Approach to the Generation of Environments from Formal Specifications",
    journal = "17th Annual Computer Science Conf. (Australian Computer Science Comm.)",
    volume = "16",
    number = "1",
    month = "19--21~",
    editor = "Gopal Gupta",
    isbn = "0-473-02313-X",
    pages = "217--228",
    year = "1994",
    url = "citeseer.ist.psu.edu/dearle94integrated.html" }
Citations (may not include all citations):
650   An Axiomatic Basis for Computer Programming (context) - Hoare - 1969  ACM   DBLP
346   Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
271   Yacc -- Yet Another Compiler Compiler - Johnson - 1975
245   Semantics of Context Free Languages (context) - Knuth - 1968
233   Natural Semantics (context) - Kahn - 1987
221   Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
193   An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983
127   Centaur: the system - Borras, Clement et al. - 1988
57   A research center for augmenting human intellect (context) - Engelbart, English - 1968  ACM
53   An Axiomatic Definition of The Programming Language Pascal (context) - Hoare - 1973  ACM   DBLP
46   The Napier88 Reference Manual (context) - Morrison, Brown et al. - 1989
30   Safe Browsing in a Strongly Typed Persistent Environment - Dearle, Brown - 1988
28   GAG: A Practical Compiler Generator (context) - Kastens, Hutte et al. - 1982
26   Environments: A Flexible Binding Mechanism to Support System.. - Dearle - 1989
21   Persistent Hyper-Programs (context) - Kirby, Connor et al. - 1992
17   Ordered Attributed Grammars (context) - Kastens - 1980
14   Introduction to Attribute Grammars (context) - Alblas - 1991
13   Type Equivalence Checking in Persistent Object Systems (context) - Connor, Brown et al. - 1990  DBLP
10   Implementation of VisitOriented Attribute Evaluators (context) - Kastens - 1991
9   The Napier TypeChecking Module (context) - Connor - 1988
9   Lex -- A Lexical Analyser Generator (context) - Lesk - 1975
7   An Adaptive Graphical Browser for Napier88 (context) - Kirby, Dearle - 1990
5   ATLANTIS: A Tool For Language Definition and Interpreter Syn.. (context) - Oudshoorn - 1992
4   WIN Programmers' Manual (context) - Cutts, Dearle et al. - 1990
1   The Vienna Definition Method: The Meta Language (context) - Bjoner, Jones - 1978
1   A Generic Synthesiser and its Implementation (context) - Minor - 1987

Documents on the same site (http://www.dcs.st-and.ac.uk/rsch/publications/download/):   More
Persistent Operating System Support for Persistent.. - O'Lenskie, Dearle, Hulse (1999)   (Correct)
The Octopus Model and its Implementation - Farkas, Dearle (1994)   (Correct)
A Hyperlinked Persistent Software Development Environment - Dearle, Marlin (1992)   (Correct)

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