Model verification in &lgr;&sgr;

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Model verification in &lgr;&sgr;: a type inference approach

Full text

Pdf (583 KB)

Source

Annual Simulation Symposium archive
Proceedings of the 24th annual symposium on Simulation table of contents

New Orleans, Louisiana, United States

Pages: 283 - 289

Year of Publication: 1991

ISBN:0-8186-2169-9

Author

Enrique V. Kortright

Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA and Department of Computer Science, Nicholls State University, Thibodaux, LA

Sponsor

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, 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

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	H.P. Barendregt. The Lambda Calculus. North- Holland, Amsterdam, 1981.
	2	Luca Cardelli, Basic polymorphic typechecking, Science of Computer Programming, v.8 n.2, p.147-172, April 1, 1987 [doi>10.1016/0167-6423(87)90019-0]
	3	R L Constable, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	4	Enrique Vicente Kortright, Lambda sigma: a formal method for simulation based on the typed lambda-calculus, University of Southwestern Louisiana, Lafayette, LA, 1991
	5	E. Kortright. Particle simulation in )~cr. Accepted for publication in the Proceedings of the 1991 Summer Computer Simulation Conference, Maltimore, MD, July 1991.
	6	P. Martin-Löf, Constructive mathematics and computer programming, Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, p.167-184, June 1985, London, United Kingdom
	7	P. Martin-LSf. Intuitionistic Type Theory. Bibliopolis, Naples, 1984.
	8	R. Milner. A theory of type polymorphism in programming. Journal of Computing Systems Science, 17(3):348-375, December 1978.
	9	A.N. Whitehead. Process and Reality. MacMillan, New York, 1960.

CITED BY

Enrique V. Kortright, Temporal analysis of &lgr;&sgr; activity systems, Proceedings of the 25th annual symposium on Simulation, p.242-246, April 1992, Orlando, Florida, United States

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic
Subjects: Lambda calculus and related systems

General Terms:
Design, Languages, Performance, Theory, Verification

Collaborative Colleagues:

Enrique V. Kortright: 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
Toward a real-time Ada design methodology Proceedings of the conference on TRI-ADA '90
Norman R. Howes
Fashioning conceptual constructs in Ada Proceedings of the conference on TRI-ADA '90
Robert C. Shock
Reuse: the two concurrent life cycles paradigm Proceedings of the conference on TRI-ADA '90
Richard Drake , William Ett
An experiment with Graphite Proceedings of the conference on TRI-ADA '90
John Chludzinski , Robert Chi Tau Lai

Adobe Acrobat

QuickTime

Windows Media Player

Real Player