Towards an introductory formal programming course

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards an introductory formal programming course

Full text

Pdf (455 KB)

Source

Technical Symposium on Computer Science Education archive
Proceedings of the twenty-fifth SIGCSE symposium on Computer science education table of contents

Phoenix, Arizona, United States

Pages: 121 - 125

Year of Publication: 1994

ISBN:0-89791-646-8

Also published in ...

Authors

Kung-Kiu Lau	Department of Computer Science, University of Manchester, Manchester M13 9PL, England, United Kingdom
Vicky J. Bush	Department of Computer Science, University of Manchester, Manchester M13 9PL, England, United Kingdom
Pete J. Jinks	Department of Computer Science, University of Manchester, Manchester M13 9PL, England, United Kingdom

Sponsor

SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 11, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/191029.191079 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.

	2	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	3	Edsger W. Dijkstra , W. H. Feijen, A Method of Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	4	Peter J. Denning, A debate on teaching computing science, Communications of the ACM, v.32 n.12, p.1397-1414, Dec. 1989 [doi>10.1145/76380.76381]
	5	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	6	Maritta Heisel, Formalizing and implementing Gries' program development method in dynamic logic, Science of Computer Programming, v.18 n.1, p.107-137, Jan. 1992 [doi>10.1016/0167-6423(92)90035-A]
	7	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	8	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	9	Daniel D. McCracken, Programming languages in the computer science curriculum, ACM SIGCSE Bulletin, v.24 n.1, p.1-4, March 1992
	10	Simon L. Peyton Jones , David R. Lester, Implementing functional languages, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	11	J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992

CITED BY 4

	J. R. Jefferson Wadkins, Rigorous proofs of program correctness without formal logic, ACM SIGCSE Bulletin, v.27 n.1, p.307-311, March 1995
	Guy Tremblay, An undergraduate course in formal methods: “description is our business”, ACM SIGCSE Bulletin, v.30 n.1, p.166-170, Mar. 1998
	Thomas V. Palmer , James C. Pleasant, Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey, ACM SIGCSE Bulletin, v.27 n.3, p.53-59, Sept. 1995
	J. Stanley Warford, An experience teaching formal methods in discrete mathematics, ACM SIGCSE Bulletin, v.27 n.3, p.60-64, Sept. 1995