Back to Results
First PageMeta Content
Computing / Theoretical computer science / Formal methods / Software architecture / Logic in computer science / Proof assistant / Isabelle / Graphical user interface / Window / User interface techniques / Software / Automated theorem proving


Under consideration for publication in J. Functional Programming 1 Functional Design and Implementation of Graphical User Interfaces for Theorem Provers
Add to Reading List

Document Date: 2010-02-16 04:30:00

Open Document

File Size: 313,94 KB

Share Result on Facebook

/

Facility

Bremen Institute / /

IndustryTerm

formal method tools / implementation technology / /

Organization

German Ministry for Education and Research / Bremen Institute for Safe Systems / Institut f¨ / /

Person

B. Wolff Isabelle / B. Wolff Clipboard / /

Position

Archer / Navigating forward / /

Product

IS / /

ProgrammingLanguage

Tcl/Tk / ML / Standard ML / T / L / /

Technology

Functional Programming / command line interface / implementation technology / Java / GUI / /

SocialTag