A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover

Ray Nickson; Mark Utting

Back

A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover

Conference paper

Peer reviewed

A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover

Ray Nickson and Mark Utting

HCI a Light into the Future: Proceedings of OZCHI95, pp.204-209

Australian Conference on Computer-Human Interaction, 4th (Wollongong, Australia, 1995)

CHISIG

1995

Abstract

Computer Software

Information Systems

human-computer interaction

user interfaces

proof tools

prototyping

We describe some of the technology we used to build a user interface for a programmable theorem prover. By separating the user interface from the application itself, it is possible to experiment with new interface features very easily, without compromising the soundness of the proof tool.

Details

Title: A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover
Authors: Ray Nickson (Author) - University of Queensland
Mark Utting (Author) - University of Queensland
Contributors: Helen Hasan (Editor)
Cathy Nicastri (Editor)
Publication details: HCI a Light into the Future: Proceedings of OZCHI95, pp.204-209
Conference details: Australian Conference on Computer-Human Interaction, 4th (Wollongong, Australia, 1995)
Publisher: CHISIG
Date published: 1995
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449163602621
Output Type: Conference paper

Metrics

1013 Record Views