Browse by Subject: LOGICS AND MEANINGS OF PROGRAMS

• (Top Level)
• Theory of Computation
• LOGICS AND MEANINGS OF PROGRAMS (0)
• General (1)
• Semantics of Programming Languages (D.3.1) (22)
• Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) (63)
• Studies of Program Constructs (D.3.2-3) (15)