ISO/IEC 24707:2007
For ISO/IEC 24707:2007, item title is Information technology — Common Logic (CL): a framework for a family of logic-based languages; status code is 9599; successor is ISO/IEC 24707:2018; withdrawn / published date is 2007-09-25, recorded from its source on 2026-08-05.
- Identifier
- ISO/IEC 24707:2007 verified
- Item title
- Information technology — Common Logic (CL): a framework for a family of logic-based languages verified
- Status code
- 9599 verified
- Successor
- ISO/IEC 24707:2018
- Withdrawn / published date
- 2007-09-25 verified
Verified
Review by
What the source says
39175,IS,,ISO/IEC 24707:2007,Information technology — Common Logic (CL): a framework for a family of logic-based languages,Technologies de l'information — Logique commune (CL): un cadre pour une famille de langages basés sur la logique,2007-09-25,1,['35.060'],ISO/IEC JTC 1/SC 32,9599,,[66249],['en'],73,"<p>ISO/IEC 24707:2007 defines Common Logic: a first-order logic framework intended for information exchange and transmission. The heart of the framework is a complete abstract syntax and abstract semantics for Common Logic, which provides the basis for many different concrete syntactic forms, called dialects, which conform to the syntax and semantics. Common Logic has some novel features, ch
— isopublicstorageprod.blob.core.windows.net, retrieved 2026-08-05
Source
- isopublicstorageprod.blob.core.windows.nethttps://isopublicstorageprod.blob.core.windows.net/opendata/_latest/iso_deliverables_metadata/csv/iso_deliverables_metadata.csv