GUILE : Graphical User Interface for Linguistic Experiments

In this paper we explain a graphical user interface for de ning semantic descriptions of programming languages. Our tool is implemented using SUIT and permits the development of action descriptions of programming languages.

[1]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[2]  Bryan Ratcliff,et al.  PRESTIGE: a CASE workbench for the JSD implementor , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[3]  Robert DeLine,et al.  Lessons learned from SUIT, the simple user interface toolkit , 1992, TOIS.

[4]  Deryck Forsyth Brown,et al.  Actress: An Action Semantics Directed Compiler Generator , 1992, CC.

[5]  Jens Palsberg.  An automatically generated and provably correct compiler for a subset of Ada , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[6]  John Hannan.  Making Abstract Machines Less Abstract , 1991, FPCA.

[7]  M. Gordon.  HOL : A machine oriented formulation of higher order logic , 1985 .

[8]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[9]  Peter Lee.  Realistic compiler generation , 1989, Foundations of Computing Series.

[10]  Uwe F. Pleban.  Compiler prototyping using formal semantics , 1984, SIGPLAN '84.

[11]  Gilles Kahn,et al.  Real theorem provers deserve real user-interfaces , 1992, SDE 5.

[12]  Lawrence C. Paulson.  A semantics-directed compiler generator , 1982, POPL '82.

[13]  Jens Palsberg,et al.  A Provably Correct Compiler Generator , 1992, ESOP.

[14]  John Hannan.  Staging Transformations for Abstract Machines , 1991, PEPM.

[15]  Huimin Lin,et al.  PAM: A process algebra manipulator , 1991, Formal Methods Syst. Des..