Comparative metric semantics of programming languages : nondeterminism and recursion /

類似資料

• Semantics of programming languages : structures and techniques /
  著者:: Gunter, Carl A.
  出版事項: (1992)
• A theory of programming language semantics /
  著者:: Milne, Robert, 1948-
  出版事項: (1976)
• Complementary definitions of programming language semantics /
  著者:: Donahue, James Edward, 1947-
  出版事項: (1976)
• Semantics of sequential and parallel programs /
  著者:: Best, Eike, 1951-
  出版事項: (1996)
• A practical introduction to denotational semantics /
  著者:: Allison, Lloyd
  出版事項: (1986)