PROOF RULES FOR PROGRAMMING LANGUAGE EUCLID

被引：0
|
作者：
LONDON, RL
GUTTAG, JV
HORNING, JJ
LAMPSON, BW
MITCHELL, JG
POPEK, GJ
机构：
[1] UNIV TORONTO,COMP SYST RES GRP,TORONTO M5S 1A4,ONTARIO,CANADA
[2] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024
[3] UNIV SO CALIF,DEPT COMP SCI,LOS ANGELES,CA 90007
[4] XEROX CORP,PALO ALTO RES CTR,PALO ALTO,CA 94304
来源：
ACTA INFORMATICA | 1978年 / 10卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 26
页数：26
相关论文
共 50 条
  • [1] ON EUCLID AND THE GENEALOGY OF PROOF
    Davey, Kevin
    [J]. ERGO-AN OPEN ACCESS JOURNAL OF PHILOSOPHY, 2021, 8
  • [2] Computer programming as mathematics in a programming language and proof system CL
    Komara, J
    Voda, PJ
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 42 - 43
  • [3] Proof-checking Euclid
    Beeson, Michael
    Narboux, Julien
    Wiedijk, Freek
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 85 (2-4) : 213 - 257
  • [4] Proof-checking Euclid
    Michael Beeson
    Julien Narboux
    Freek Wiedijk
    [J]. Annals of Mathematics and Artificial Intelligence, 2019, 85 : 213 - 257
  • [5] Goodness criteria for programming language grammar rules
    Dubey, Alpana
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (12) : 44 - 53
  • [6] Inferring grammar rules of programming language dialects
    Dubey, Alpana
    Jalote, Pankaj
    Aggarwal, Sanjeev Kumar
    [J]. GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2006, 4201 : 201 - 213
  • [7] Proof explanation for a nonmonotonic Semantic Web rules language
    Antoniou, Grigoris
    Bikakis, Antonis
    Dimaresis, Nikos
    Genetzakis, Manolis
    Georgalis, Giannis
    Governatori, Guido
    Karouzaki, Efie
    Kazepis, Nikolas
    Kosmadakis, Dimitris
    Kritsotakis, Manolis
    Lilis, Giannis
    Papadogiannakis, Antonis
    Pediaditis, Panagiotis
    Terzakis, Constantinos
    Theodosaki, Rena
    Zeginis, Dimitris
    [J]. DATA & KNOWLEDGE ENGINEERING, 2008, 64 (03) : 662 - 687
  • [8] A PROOF-THEORETIC ACCOUNT OF PROGRAMMING AND THE ROLE OF REDUCTION RULES
    DEQUEIROZ, RJGB
    [J]. DIALECTICA, 1988, 42 (04) : 265 - 282
  • [9] Implementation of proof search in the imperative programming language pizza
    Urban, C
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 313 - 319
  • [10] Towards the Complexity Analysis of Programming Language Proof Methods
    Cimini, Matteo
    [J]. THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 100 - 118
12345