Topic summary
Formal semantics of programming languages
Extracted from the Wikipedia article Semantics (programming languages).
References
- ^ 163. doi:10.1007/3-540-07142-3_75. ISBN .
- ^ . In Schwartz, J.T. (ed.). Mathematical Aspects of Computer Science. Proceedings of Symposium on Applied Mathematics. Vol. 19. American Mathematical Society. pp. 19–32. ISBN .
- ^ . Stanford University Faculty Memorials. Stanford Historical Society.
- ^ 580. doi:10.1145/363235.363259. S2CID 207726175.
- ^
- ^
- ^
- ^ 95. doi:10.1145/321992.321997. S2CID 11060837.
- ^
- ^
- ^ 872. Bibcode:1963PNAS...50..869L. doi:10.1073/pnas.50.5.869. PMC 221940. PMID 16591125.
- ^ 264. doi:10.1016/0304-3975(91)90085-G.
- ^ . Proceedings of the European Symposium on Programming Languages and Systems. Springer. pp. 283–307. doi:10.1007/978-3-662-46669-8_12.
- ^ 32. doi:10.1017/CBO9780511526619.002. ISBN .
- ^ 457. doi:10.1145/360933.360975. S2CID 1679242.