Refinement types for specification-Reference-Cited by-同舟云学术

Refinement types for specification

Published:1998 Issue: Volume: Page:148-166
ISSN:
Container-title:Programming Concepts and Methods PROCOMET ’98
language:
Short-container-title:

Author:

Denney E.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35358-6_13

Reference18 articles.

1. Aspinall, D. (1995) Subtyping with singleton types, in `Proceedings of Computer Science Logic `94’, Vol. 933 of LNCS.

2. Aspinall, D. & Compagnoni, A. (1996) Subtyping dependent types, in `Proceedings of the eleventh IEEE Symposium on Logic in Computer Science’.

3. Burn, G. L. (1992) A logical framework for program analysis, in J. Launchbury & P. Sansom, Eds, ‘Proceedings of the 1992 Glasgow Functional Programming Workshop’, Springer-Verlag Workshops in Computer Science series, pp. 3042.

4. Burstall, R. & McKinna, J. (1992) Deliverables: A categorical approach to program development in type theory, in `Mathematical Foundations of Computer Science: 18th International Symposium’, Vol. 711 of Lecture Notes in Computer Science, pp. 32–67. An earlier version appeared as LFCS Technical Report ECS-LFCS-92–242.

5. Denney, E. (1997) Refining Refinement Types, in `Informal Proceedings of Types Workshop on Subtyping, Inheritance and Modular Development of Proofs’, University of Durham.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. EVM-Vale: Formal Verification of EVM Bytecode Using Vale;Communications in Computer and Information Science;2024

2. The geometry of types;ACM SIGPLAN Notices;2013-01-23

3. Refining Inductive Types;Logical Methods in Computer Science;2012-06-04

4. Type Reconstruction for General Refinement Types;Programming Languages and Systems;2007

5. Soundness of data refinement for a higher-order imperative language;Theoretical Computer Science;2002-05