A PRACTICAL STRATEGY FOR CERTIFYING GKS IMPLEMENTATIONS

被引:4
作者
BRODLIE, KW [1 ]
MAGUIRE, MC [1 ]
PFAFF, GE [1 ]
机构
[1] TH DARMSTADT,FACHBEREICH 20,FACHGEBEIT GRIS,D-6100 DARMSTADT,FED REP GER
关键词
Acknowledgements--Most of the work reported here has been developed at a series of workshops funded by the EEC. Thanks are due to all those who have participated in the workshops and contributed their ideas to the overall strategy presented in this paper. Particular thanks are due to Martin Goebel; Andre Ducrot; Peter Bono; Jose Encarnacao; David Fisher; Rupert Gnatz; David Rosenthal and Paul ten Hagen;
D O I
10.1016/0097-8493(84)90046-3
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
7
引用
收藏
页码:125 / 133
页数:9
相关论文
共 7 条
[1]  
BAIRD GN, COMPILER VALIDATION
[2]  
MAGUIRE MC, 1981, MAY EEC WORKSH GRAPH
[3]  
MAGUIRE MC, 1981, G3 U LEIC COMP LAB R
[4]  
MAGUIRE MC, 1982, FEB EEC WORKSH GRAPH
[5]  
1981, REPORT WIDE SPECTRUM
[6]  
1982, GKS ISO TC97SC5WG2N1
[7]  
1982, APR EEC WORKSH GRAPH