External Links

Cite Key

Statistics

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

PDF

Tags

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.

Pointers and Records in the Unifying Theories of Programming

Ana Cavalcanti, Will Harwood, Jim Woodcock. Pointers and Records in the Unifying Theories of Programming. In Steve Dunne, Bill Stoddart, editors, Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Volume 4010 of Lecture Notes in Computer Science, pages 200-216, Springer, 2006. [doi]

Authors

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google

Will Harwood

This author has not been identified. Look up 'Will Harwood' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on