External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Executable and Testable Semantics for iTasks

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten. An Executable and Testable Semantics for iTasks. In Sven-Bodo Scholz, Olaf Chitil, editors, Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers. Volume 5836 of Lecture Notes in Computer Science, pages 212-232, Springer, 2008. [doi]

Authors

Pieter W. M. Koopman

This author has not been identified. Look up 'Pieter W. M. Koopman' in Google

Rinus Plasmeijer

This author has not been identified. It may be one of the following persons: Look up 'Rinus Plasmeijer' in Google

Peter Achten

This author has not been identified. It may be one of the following persons: Look up 'Peter Achten' in Google
runs on