<td id="ccaac"></td>

<table id="ccaac"><rt id="ccaac"></rt></table>

EN 21539:1989
信息技術.程序語言.Fortran語言

Programming Languages FORTRAN

作廢

標準號: EN 21539:1989
發布: 1989年
發布單位: 歐洲標準化委員會
替代標準: EN 21539:1992
當前最新: EN 21539:1992

EN 21539:1989相似標準

BS ISO/IEC 1539-1:2010 信息技術.程序設計語言.Fortran語言.基礎語言 ONORM EN 21539-1993 信息技術．編程語言．FORTRAN語言 AS/NZS 1486:1993 信息技術程序語言 FORTRAN 90 AS/NZS 1486:1993(R2014) 信息技術程序語言 FORTRAN 90 GB/T 3057-1996 信息技術程序設計語言 Fortran

推薦

唯一做語義計算的編程理論！袁崇義提出OESPA新編程理論

傳統的程序語言以社會學中的形式語言學為理論基礎，沒有考慮語義形式化的需求。OE則是二合一的，定義OE的公式既是編譯程序需要的形式語法，又是定義語義公理的形式基礎。　　“傳統數學中的謂詞只能描述程序單獨一個狀態的性質，而程序語義是程序初態和終態之間的關系。SP聯系初態和終態，能準確描述程序語義。語義謂詞SP從語義公理A演變而成。...

Copyright ?2007-2022 ANTPEDIA, All Rights Reserved
京ICP備07018254號京公網安備1101085018 電信與信息服務業務經營許可證：京ICP證110310號

<td id="ccaac"></td>

<table id="ccaac"><rt id="ccaac"></rt></table>