Hybrid type checking
- 11 January 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (1), 245-256
- https://doi.org/10.1145/1111037.1111059
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- A Semantic Framework for Designer TransactionsLecture Notes in Computer Science, 2004
- An overview of JML tools and applicationsElectronic Notes in Theoretical Computer Science, 2003
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- TILACM SIGPLAN Notices, 1996
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Inheritance as implicit coercionInformation and Computation, 1991
- The Turing programming languageCommunications of the ACM, 1988
- A technique for software module specification with examplesCommunications of the ACM, 1972