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.

Reasoning about Array Structure Using a Dependently Typed Logic

Alan Dent, Keith Hanna. Reasoning about Array Structure Using a Dependently Typed Logic. In David Agnew, Luc J. M. Claesen, Raul Camposano, editors, Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL 93, sponsored by IFIP WG10.2 and in cooperation with IEE. Volume A-32 of IFIP Transactions, pages 207-224, North-Holland, 1993.

Authors

Alan Dent

This author has not been identified. Look up 'Alan Dent' in Google

Keith Hanna

This author has not been identified. Look up 'Keith Hanna' in Google
runs on