Semantics of Interference Control
暂无分享,去创建一个
[1] Charles Antony Richard Hoare,et al. Hints on programming language design. , 1973 .
[2] C. A. R. Hoare,et al. Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.
[3] Daniel P. Friedman,et al. CONS Should Not Evaluate its Arguments , 1976, ICALP.
[4] Christopher Strachey,et al. A theory of programming language semantics , 1976 .
[5] Michael J. C. Gordon,et al. The Denotational Description of Programming Languages , 1979, Springer New York.
[6] John C. Reynolds,et al. Syntactic control of interference , 1978, POPL.
[7] John C. Reynolds,et al. The craft of programming , 1981, Prentice Hall International series in computer science.
[8] Per Brinch Hansen,et al. Structured multiprogramming , 1972, CACM.
[9] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[10] Peter Henderson,et al. A lazy evaluator , 1976, POPL.
[11] John C. Reynolds,et al. On the Relation between Direct and Continuation Semantics , 1974, ICALP.
[12] Niklaus Wirth,et al. On the Design of Programming Languages , 1974, IFIP Congress.