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): 4, Downloads (12 Months): 9, 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/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.

CITED BY

Monica Alderighi , Giacomo R. Sechi, A model of a microprogrammed functional-oriented computing unit, Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture, p.292-298, November 27-29, 1990, Orlando, Florida, United States

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.1 COMPUTATION BY ABSTRACT DEVICES

Additional Classification:
B. Hardware
B.1 CONTROL STRUCTURES AND MICROPROGRAMMING
B.1.2 Control Structure Performance Analysis and Design Aids
Subjects: Formal models**

F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.2 Semantics of Programming Languages
Subjects: Operational semantics
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.3 Formal Languages
Subjects: Algebraic language theory

General Terms:
Algorithms, Design, Languages

Collaborative Colleagues:

G. R. Sechi: colleagues

Peer to Peer - Readers of this Article have also read:

Constructing reality Proceedings of the 11th annual international conference on Systems documentation
Douglas A. Powell , Norman R. Ball , Mansel W. Griffiths
Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen , Daniel D. Gajski
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein

This Article has also been published in:

ACM SIGMICRO Newsletter
Volume 20 , Issue 3 Sep. 1989

Adobe Acrobat

QuickTime

Windows Media Player

Real Player