Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Strachey, C.: Towards a formal semantics. In: Formal Language Description Languages for Computer Programming, pp. 198–220. North-Holland (1966)
2. Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science, pp. 19–32. AMS, Providence (1967)
3. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)
4. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
5. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17–139 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Language Transformations in the Classroom;Electronic Proceedings in Theoretical Computer Science;2021-08-23
2. A Calculus for Language Transformations;SOFSEM 2020: Theory and Practice of Computer Science;2020
3. System Description: Lang-n-Change - A Tool for Transforming Languages;Functional and Logic Programming;2020
4. One Step at a Time;Programming Languages and Systems;2019
5. Deriving Pretty-Big-Step Semantics from Small-Step Semantics;Programming Languages and Systems;2014