Subtypes for specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Subtypes for specifications

Full text

Pdf (1.33 MB)

Source

Foundations of Software Engineering archive
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering table of contents

Zurich, Switzerland

Pages: 4 - 19

Year of Publication: 1997

ISBN:3-540-63531-9

Also published in ...

Author

John Rushby

Computer Science Laboratory, SRI International, Menlo Park, CA

Sponsors

University of Zurich : University of Zurich
CEPIS : Council of European Professional Informatics Societies
SIGSOFT: ACM Special Interest Group on Software Engineering
Swiss Informaticians Society : Swiss Information Society

Publisher

Springer-Verlag New York, Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 10, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/267895.267898 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Proceedings of the 8th International Conference on Computer Aided Verification, August 1996
	2	Luca Cardelli. Type systems. In Handbook of Computer Science and Engineering, chapter 103, pages 2208-2236. CRC Press, 1997. Available at http: //uww.research.digital.com/SRC.
	3	J. H. Cheng and C. B. Jones. On the usability of logics which handle partial functions. In Carroll Morgan and J. C. P. Woodcock, editors, Proceedings of the Third Refinement Workshop, pages 51-69. Springer-Verlag Workshops in Computing, 1990.
	4	A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
	5	R. L. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki , S. F. Smith, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	6	David L. Detlefs. An overview of the Extended Static Checking system. In First Workshop on Formal Methods in Software Practice (FMSP ' 96), pages 1-9, San Diego, CA, January 1996. Association for Computing Machinery.
	7	Richard A. Kemmerer. Verification assessment study final report, Technical Report C3-CROl-86, National Computer Security Center, Ft. Meade, MD, 1986, 5 Volumes (Overview, Gypsy, Affirm, FDM, and EHDM). US distribution only.
	8	Leslie Lamport and Lawrence C. Paulson. Should your specification language be typed? SRC Research Report 147, Digital Systems Research Center, Palo Alto, CA, May 1997. Available at http://uuv.research.digital.com/SRC.
	9	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	10	Sam Owre , S. Rajan , John M. Rushby , Natarajan Shankar , Mandayam K. Srivas, PVS: Combining Specification, Proof Checking, and Model Checking, Proceedings of the 8th International Conference on Computer Aided Verification, p.411-414, August 03, 1996
	11	Sam Owre , John M. Rushby , Natarajan Shankar, Integration in PVS: Tables, Types, and Model Checking, Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems, p.366-383, April 02-04, 1997
	12	Sam Owre , John Rushby , Natarajan Shankar , Friedrich von Henke, Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, v.21 n.2, p.107-125, February 1995 [doi>10.1109/32.345827]
	13	F. P, Ramsey. The foundations of mathematics. In D. H. Mellor, editor, Philosophical Papers of F. P. Ramsey, chapter 8, pages 164-224. Cambridge University Press, Cambridge, UK, 1990. Originally published in Proceedings of the London Mathematical Society, 25, pp. 338-384, 1925.
	14	John M. Rushby, Automated Deduction and Formal Methods, Proceedings of the 8th International Conference on Computer Aided Verification, p.169-183, August 03, 1996
	15	Bertrand Russell. Mathematical logic as based on the theory of types. In Jean van Heijenoort, editor, Ram Frege to Godel, pages 150-182. Harvard University Press, Cambridge, MA, 1967. First published 1908.
	16	Mark Saaltink, The Z/EVES System, Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation, p.72-85, April 03-04, 1997