BS ISO/IEC 24707 - INFORMATION TECHNOLOGY - COMMON LOGIC (CL): A FRAMEWORK FOR A FAMILY OF LOGIC-BASED LANGUAGES

Available format(s)

Hardcopy , PDF

Language(s)

English

Publisher

British Standards Institution

1 SCOPE
2 NORMATIVE REFERENCES
3 TERMS AND DEFINITIONS
4 SYMBOLS AND ABBREVIATIONS
5 REQUIREMENTS AND DESIGN OVERVIEW
6 COMMON LOGIC ABSTRACT SYNTAX AND SEMANTICS
7 CONFORMANCE
A.1 INTRODUCTION
A.2 CLIF SYNTAX
A.3 CLIF SEMANTICS
A.4 CLIF CONFORMANCE
B.1 INTRODUCTION
B.2 CG CORE SYNTAX AND SEMANTICS
B.3 EXTENDED CGIF SYNTAX
B.4 CGIF CONFORMANCE
C.1 INTRODUCTION
C.2 XCL SYNTAX
C.3 XCL SEMANTICS
C.4 XCL CONFORMANCE
ANNEX D (INFORMATIVE) - TRANSLATING BETWEEN DIALECTS

BS ISO/IEC 24707.

Committee	IST/40
DocumentType	Draft
Pages	85
PublisherName	British Standards Institution
Status	NA
Supersedes	BS ISO/IEC 24707:2018

ISO/IEC 10646:2014	Information technology Universal Coded Character Set (UCS)
ISO/IEC 14977 : 1996(R2018)	INFORMATION TECHNOLOGY - SYNTACTIC METALANGUAGE - EXTENDED BNF
ISO/IEC 2382-15:1999	Information technology Vocabulary Part 15: Programming languages