Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Semantics tĩnh chính thức của ECMA-335
Tóm tắt
Một trong những phương pháp hiệu quả để tạo ra phần mềm đáng tin cậy là xây dựng một mô hình chính thức phản ánh ngữ nghĩa của nó và xác minh mã sau đó bằng cách sử dụng mô hình này. Công trình này trình bày kết quả của các nghiên cứu nhằm xây dựng một mô hình tổng quát cho việc mô tả ngữ nghĩa chính thức tĩnh của các chương trình được biểu diễn dưới dạng mã trung gian cấp cao tuân theo tiêu chuẩn ECMA-335.
Từ khóa
#ngữ nghĩa chính thức #mô hình chính thức #phần mềm đáng tin cậy #mã trung gian #ECMA-335Tài liệu tham khảo
Benton, N., Kennedy, A., and Varming, C., Some Domain Theory and Denotational Semantics in Coq, TPHOLs, Berghofer, S., Nipkow, T., Urban, C., and Wenzel, M., Eds., LNCS, 2009, vol. 5674, pp. 115–130.
Balzy, S., Dargaye, Z., and Leroy, X., Formal Verification of a C Compiler Front-End, FM2006: Formal Methods, 2006, pp. 460–475.
ECMA-335: Common Language Infrastructure (CLI), Geneva, Switzerland: ECMA (European Association for Standardizing Information and Communication Systems), 2006, 4th edition.
citation_journal_title=Commun. ACM; citation_title=A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler; citation_author=J.A. Feldman; citation_volume=9; citation_issue=1; citation_publication_date=1966; citation_pages=3-9; citation_doi=10.1145/365153.365156; citation_id=CR4
Universal Multiple-Octet Coded Character Set (UCS), Geneva, Switzerland: ISO, 2003.
Binary Floating-Point Arithmetic for Microprocessor Systems, Geneva, Switzerland: International Electrotechnical Commission, 1989.
Codes for the Representation of Names of Countries, Geneva, Switzerland: ISO, 1988.
Codes for the Representation of Names of Languages, Geneva, Switzerland: ISO, 1988.
citation_title=Denotational Semantics: a Methodology for Language Development; citation_publication_date=1986; citation_id=CR9; citation_author=D.A. Schmidt; citation_publisher=William C. Brown Publishers
citation_title=Kriticheski vazhnye ob’ekty i kiberterrorizm. Chast’ I. Sistemnyi podkhod k organizatsii protivodeistviya; citation_publication_date=2008; citation_id=CR10; citation_publisher=MTsNMO
citation_title=Kriticheski vazhnye ob’ekty i kiberterrorizm. Chast’ 2. Aspekty programmnoi realizatsii sredstv protivodeistviya; citation_publication_date=2008; citation_id=CR11; citation_publisher=MTsNMO