A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE

被引：0
作者：
CURZON, P
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe a derived programming logic for a generic structured assembly language. It has been combined with a compiler correctness theorem. This allows us to deduce correctness properties of object code from corresponding properties of the source code proved with the programming logic. All proofs have been carried out using the HOL system.
引用
收藏
页码：403 / 408
页数：6
相关论文
共 50 条
  • [21] A visual logic programming language
    Puigsegur, J
    Agusti, J
    Robertson, D
    [J]. IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1996, : 214 - 221
  • [22] Programming language abstractions for modularly verified distributed systems
    University of Washington, Seattle
    WA, United States
    不详
    [J]. Leibniz Int. Proc. Informatics, LIPIcs, 1868,
  • [23] STRUCTURED PROGRAMMING IN MACRO ASSEMBLY LANGUAGES
    WELCH, J
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (03) : 371 - 376
  • [24] ASSEMBLY LANGUAGE PROGRAMMING FOR THE 1860
    BOOTH, S
    [J]. INTERNATIONAL JOURNAL OF MODERN PHYSICS C-PHYSICS AND COMPUTERS, 1993, 4 (06): : 1279 - 1284
  • [25] THE CASE FOR ASSEMBLY LANGUAGE PROGRAMMING
    LOUI, MC
    [J]. IEEE TRANSACTIONS ON EDUCATION, 1988, 31 (03) : 160 - 164
  • [26] GOOD PROGRAMMING IN ASSEMBLY LANGUAGE
    MILLS, J
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1980, 127 (06): : 241 - 248
  • [27] Methodology for parallel structured programming in logic environments
    Buttarazzi, B.
    [J]. International journal of mini & microcomputers, 1995, 17 (03): : 119 - 126
  • [28] A component language for structured parallel programming
    Blaeser, Luc
    [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2006, 4228 : 230 - 250
  • [29] APLGOL, AN EXPERIMENTAL STRUCTURED PROGRAMMING LANGUAGE
    KELLEY, RA
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (01) : 69 - 73
  • [30] Differentiable Inductive Logic Programming for Structured Examples
    Shindo, Hikaru
    Nishino, Masaaki
    Yamamoto, Akihiro
    [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 5034 - 5041
12345