Automatically assigned DDC number: 0051

Manually assigned DDC number: 005115

Number of references: 8

Title: Generic Interfaces for Formal Development Support Tools

Author:

Author:

Author:

Subject: C. Luth,T. Meyer,B. Wolff Generic Interfaces for Formal Development Support Tools

Description: . We present a new approach to implement graphical user interfaces (GUIs) for theorem provers and formal development support tools. A typed interface between Standard ML and Tcl/Tk provides the foundations, upon which a generic GUI is built. Besides the advantage of type safeness, this technique yields access to the full power of the modularisation concepts of Standard ML: the generic GUI is a functor (a parametric module), which instantiated with a particular application yields a GUI for this application. We present a prototypical implementation with two instantiations: an interface to Isabelle itself and a system for transformational program development based on Isabelle. 1 Introduction In this paper, we present a new approach to implement graphical user interfaces (GUIs) for formal program development systems like transformation systems or interactive theorem provers. Its distinguishing feature is a generic, open system design which allows the development of a family of tools for d...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-06-16

Format: ps

Identifier: http://citeseer.ist.psu.edu/170128.html

Source: http://www.informatik.uni-bremen.de/~cxl/papers/tsv.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/93902.html"   Type="inproceedings"   CiteSeer_Book="Algebraic   Methodology   and   Software   Technology"   CiteSeer_Volume=""   Title="Ct{C}oq:   A   System   Presentation,"   />

      <rec   ID="/70777.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Jape's   quiet   interface,">

            <identifier   Org="ISBN:0412809508"   Paper_ID="/70777.html"   Extracted="0412809508"   DDC="004.019"   Normalized_DDC="004019"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/70777.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/70777.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/112658.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Mathpad   --   tool   support   for   the   calculational   method,"   />

      <rec   ID="/58188.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Industrial   Benefits   and   Advances   in   Formal   Methods   FME96"   CiteSeer_Volume=""   Title="Correct   and   User-Friendly   Implementation   of   Transformation   Systems,">

            <identifier   Org="ISBN:0792397894"   Paper_ID="/58188.html"   Extracted="0792397894"   DDC="005.1/0285/633"   Normalized_DDC="00510285633"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/151275.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Two   modelling   approaches   applied   to   user   interfaces   to   theorem   proving   assistants,"   />

      <rec   ID="/49066.html"   Type="book"   CiteSeer_Book="Tcl   and   the   Tk   Toolkit"   CiteSeer_Volume=""   Title="Tcl   and   the   Tk   Toolkit,">

            <identifier   Org="ISBN:0130385603"   Paper_ID="/49066.html"   Extracted="0130385603"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:020163337X"   Paper_ID="/49066.html"   Extracted="020163337X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:020163466X"   Paper_ID="/49066.html"   Extracted="020163466X"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0201634740"   Paper_ID="/49066.html"   Extracted="0201634740"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0201634953"   Paper_ID="/49066.html"   Extracted="0201634953"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0471201006"   Paper_ID="/49066.html"   Extracted="0471201006"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0596003137"   Paper_ID="/49066.html"   Extracted="0596003137"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0596100299"   Paper_ID="/49066.html"   Extracted="0596100299"   DDC="005.4/32"   Normalized_DDC="005432"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780329341"   Paper_ID="/49066.html"   Extracted="0780329341"   />

            <identifier   Org="ISBN:0818679964"   Paper_ID="/49066.html"   Extracted="0818679964"   DDC="621.381/071/1"   Normalized_DDC="6213810711"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558608028"   Paper_ID="/49066.html"   Extracted="1558608028"   DDC="005.2/762"   Normalized_DDC="0052762"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1565920902"   Paper_ID="/49066.html"   Extracted="1565920902"   DDC="005.43"   Normalized_DDC="00543"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1565924274"   Paper_ID="/49066.html"   Extracted="1565924274"   DDC="005.44"   Normalized_DDC="00544"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1565924339"   Paper_ID="/49066.html"   Extracted="1565924339"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540602984"   Paper_ID="/49066.html"   Extracted="3540602984"   DDC="006.4/2"   Normalized_DDC="00642"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540657622"   Paper_ID="/49066.html"   Extracted="3540657622"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9051992610"   Paper_ID="/49066.html"   Extracted="9051992610"   />

      </rec>

      <rec   ID="/160918.html"   Type="inproceedings"   CiteSeer_Book="Mathematical   Foundations   of   Computer   Science"   CiteSeer_Volume=""   Title="A   Semantic   Matching   Algorithm:   Analysis   and   Implementation,">

            <identifier   Org="ISBN:3540615504"   Paper_ID="/160918.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/18291.html"   Type="article"   CiteSeer_Book="IEEE   Transactions   on   Software   Engineering"   CiteSeer_Volume="16"   Title="{KIDS}:   {A}   Semiautomatic   Program   Development   System,">

            <identifier   Org="ISBN:0471390526"   Paper_ID="/18291.html"   Extracted="0471390526"   DDC="621.303"   Normalized_DDC="621303"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780333071"   Paper_ID="/18291.html"   Extracted="0780333071"   DDC="629.4"   Normalized_DDC="6294"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792397894"   Paper_ID="/18291.html"   Extracted="0792397894"   DDC="005.1/0285/633"   Normalized_DDC="00510285633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818629053"   Paper_ID="/18291.html"   Extracted="0818629053"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818663804"   Paper_ID="/18291.html"   Extracted="0818663804"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818679611"   Paper_ID="/18291.html"   Extracted="0818679611"   />

            <identifier   Org="ISBN:0818682558"   Paper_ID="/18291.html"   Extracted="0818682558"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/18291.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586039237"   Paper_ID="/18291.html"   Extracted="1586039237"   />

            <identifier   Org="ISBN:159454526X"   Paper_ID="/18291.html"   Extracted="159454526X"   DDC="004/.072"   Normalized_DDC="004072"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/18291.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/18291.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/18291.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/18291.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540584951"   Paper_ID="/18291.html"   Extracted="3540584951"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/18291.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354061463X"   Paper_ID="/18291.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540657657"   Paper_ID="/18291.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Generic   Interfaces   for   Formal   Development   Support   Tools">

            <identifier   Org="ISBN:3540638881"   Paper_ID="SELF"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>