Deutsch
Home
Search
Browse
Submit
Sitemap
Schließen
CCS classification
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.0 General
F.3.1 Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
(2)
F.3.2 Semantics of Programming Languages (D.3.1)
(1)
F.3.3 Studies of Program Constructs (D.3.2-3)
F.3.m Miscellaneous
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this.
You can find our privacy policy here.