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 条

[1] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING
GIORDANO, L
MARTELLI, A
ROSSI, G
SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
[2] A STRUCTURED APPROACH TO ASSEMBLY LANGUAGE PROGRAMMING
MACKENZIE, S
IEEE TRANSACTIONS ON EDUCATION, 1988, 31 (02) : 123 - 128
[3] Programming fuzzy logic in assembly language
Sibigtroth, JM
NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 456 - 458
[4] ELF - A LANGUAGE FOR LOGIC DEFINITION AND VERIFIED METAPROGRAMMING
PFENNING, F
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 313 - 322
[5] Verified Density Compilation for a Probabilistic Programming Language
Tassarotti, Joseph
Tristan, Jean-Baptiste
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
[6] ASSEMBLY LANGUAGE PROGRAMMING
COATES, RF
WIRELESS WORLD, 1983, 89 (1569): : 59 - 61
[7] ASSEMBLY LANGUAGE PROGRAMMING
COATES, RF
ELECTRONICS & WIRELESS WORLD, 1983, 89 (1574): : 39 - 41
[8] ASSEMBLY LANGUAGE PROGRAMMING
COATES, RF
ELECTRONICS & WIRELESS WORLD, 1983, 89 (1575): : 56 - 61
[9] ASSEMBLY LANGUAGE PROGRAMMING
COATES, RF
WIRELESS WORLD, 1983, 89 (1572): : 45 - 49
[10] ASSEMBLY LANGUAGE PROGRAMMING
COATES, RF
WIRELESS WORLD, 1983, 89 (1567): : 63 - 66

← 1 2 3 4 5 →