The 1998 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Formal Definitions and Theory
Home
Software
PROGRAMMING LANGUAGES
Formal Definitions and Theory
Term
Metadata
Formal Definitions and Theory
D.3.1
Broader Terms
BT
↑
PROGRAMMING LANGUAGES
More specific terms
NT3
↓
Semantics
NT3
↓
Syntax
Related terms
RT
⇆
Requirements/Specifications
RT
⇆
Specifying and Verifying and Reasoning about Programs
RT
⇆
Semantics of Programming Languages
RT
⇆
Grammars and Other Rewriting Systems
RT
⇆
Formal Languages
Date of creation
30-Dec-2011
Modified
02-Jan-2012
Accepted term
30-Dec-2011
Descendant terms
2
ARK
ark:/99152/t3n0lmov7ro1x7
More specific terms
2
Alternative terms
0
Related terms
5
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search