Computing Classification System 1998

F.3 LOGICS AND MEANINGS OF PROGRAMS ( 0 Dok. )

• F.3.0 General ( 0 Dok. )

• F.3.1 Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) ( 0 Dok. )
  • F.3.1 Assertions
  • F.3.1 Invariants
  • F.3.1 Logics of programs
  • F.3.1 Mechanical verification
  • F.3.1 Pre- and post-conditions
  • F.3.1 Specification techniques

• F.3.2 Semantics of Programming Languages (D.3.1) ( 0 Dok. )
  • F.3.2 Algebraic approaches to semantics
  • F.3.2 Denotational semantics
  • F.3.2 Operational semantics
  • F.3.2 Partial evaluation (NEW)
  • F.3.2 Process models (NEW)
  • F.3.2 Program analysis (NEW)

• F.3.3 Studies of Program Constructs (D.3.2-3) ( 0 Dok. )
  • F.3.3 Control primitives
  • F.3.3 Functional constructs
  • F.3.3 Object-oriented constructs (NEW)
  • F.3.3 Program and recursion schemes
  • F.3.3 Type structure

• F.3.m Miscellaneous ( 0 Dok. )