Specification and verification of learning

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specification and verification of learning

Full text

Pdf (321 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1994 ACM symposium on Applied computing table of contents

Phoenix, Arizona, United States

Pages: 6 - 9

Year of Publication: 1994

ISBN:0-89791-647-6

Authors

Ka-Wing Wong	Department of Mathematics, Statistics and Computer Science, Eastern Kentucky University
Richard A. McBride	Department of Computer Science, University of South Dakota

Sponsors

SIGAPL: ACM Special Interest Group on APL Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGICE: ACM Special Interest Group on Individual Computing Environment
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references 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/326619.326625 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	Mordechai Ben-Ari , Zohar Manna , Amir Pnueli, The temporal logic of branching time, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.164-176, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567551]
	2	E. Clarke and E. Emerson. Characterizing properties of parallel programs. In Proceedings of the 7th International Colloquium on Automata, Languages and Programming, ~NC$ 85, 1981.
	3	Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi, What can machines know?: On the properties of knowledge in distributed systems, Journal of the ACM (JACM), v.39 n.2, p.328-376, April 1992 [doi>10.1145/128749.150945]
	4	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	5	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.50-61, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806735]
	6	Joseph Y. Halpern , Lenore D. Zuck, A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols, Journal of the ACM (JACM), v.39 n.3, p.449-478, July 1992 [doi>10.1145/146637.146638]
	7	D. Tsichritzis. Object world. In D. Tsichritzis, editor, Office Automation, pages 379-398. Springer- Verlag, 1985.
	8	Ka-Wing Wong, An active message system, 1990
	9	Ka-Wing Wong. Kn()wledge-based OOA and OOD. In Proceedings of the 199~ Annual CSC Conference, 1994.