Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Apt, K.R., de Bakker, J.W.: Semantics and proof theory of PASCAL procedures. IW 80/77, Afdeling Informatice, Mathematisch Centrum Amsterdam, 1977.
2. Babich, W.A., Jazayeri, M.: The method of attributes for data flow analysis, part I: Exhaustive Analysis. Acta Informatica 10 (1978) 245–264.
3. Bjørner, D.: Programming languages: Formal development of interpreters and compilers. ID673, Dep. of Comp. Science, Techn. Univ. of Denmark, Lyngby, 1977.
4. Bochmann, G.V.: Semantic evaluation from left to right. Comm. ACM, 19 (1976).
5. Cattell, R.R.G.: Formalization and automatic derivation of code generators. CMU-CS-78-115, Carnegie-Mellon Univ., Pittsburgh, 1978.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献