THE VERITAS DESIGN LOGIC - A USERS VIEW

被引：0
|
作者：
HANNA, K
DAECHE, N
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 10卷
关键词：
DESIGN LOGIC; DEPENDENT TYPES; USER INTERFACE;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The factors influencing the design of a user interface, specifically intended for non-expert users, to an LCF-style implementation of a dependently-typed higher-order logic are discussed. An overview is given of the actual window-based design together with illustrations of the way that proofs involving dependent types may be carried out.
引用
收藏
页码：301 / 310
页数：10
相关论文
共 50 条
12345