Abstract computing machines

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Abstract computing machines

Full text

Pdf (1.42 MB)

Source

International Symposium on Microarchitecture archive
Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture table of contents

Dublin, Ireland

Pages: 97 - 111

Year of Publication: 1989

ISBN:0-89791-324-8

Also published in ...

Author

G. R. Sechi

lstituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano (Italy)

Sponsors

IEEE-CS : Computer Society
SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues

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/75362.75406 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	Alderighi, M.. Binaghi, E., Mantoani, L. and Sechi, G.R., "Education in Designing Reliable Software: Program Specification and Validation", in: Education and Application of Computer Technology, (M. de Blasi, J. Donio, E. Luque and E. Scerri, Eds.), CUM, 1988, Fratelli Laterza, Bari, pp. 97-l 14.
	2	Kleene, S.C., "Mathamatical Logic", John Wiley & Sons, New York, 1967.
	3	Elliott Mendelson, Introduction to mathematical logic (3rd ed.), Wadsworth Publ. Co., Belmont, CA, 1987
	4	Zohar Manna , Richard Waldinger, The logical basis for computer programming. Volume 1: deductive reasoning, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
	5	Hartmut Ehrig , B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
	6	Minsky, M.L., 'Matter, Mind and Models", in: Proceedings of IF/P Congress, vol. 1, Spartan Books, 1965, pp. 45-49.
	7	Robinson, A., 'An Application of Symbolic Logic to Algebra", Int. Cong. Mat., Cambridge, Hass., vol. 1, 1952, pp.686-694.
	8	Shoenfield, J.R., "Mathematical Logic", Addison-Wesley, Reading, Mass., 1967.
	9	M. Alderighi , G. R. Sechi , R. Vaccaro , L. Verdoscia, A computing unit for FFP function evaluation in support of correctness proofs, ACM SIGMICRO Newsletter, v.20 n.3, p.244-253, Sep. 1989
	10	Sechi, G.R., "Notes on Abstract Computing", Lecture on Computer Science, Universita' degli Studi di Milano, Dipartimento di Fisica, 1988.