Access-Right Expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Access-Right Expressions

Full text

Pdf (1.20 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 1 (January 1983) table of contents

Pages: 78 - 96

Year of Publication: 1983

ISSN:0164-0925

Authors

Richard B. Kieburtz	Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
Abraham Silberschatz	Department of Computer Science, The University of Texas at Austin, Austin, TX

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 28, Citation Count: 5

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/357195.357201 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	BRINCH HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. Softw. Eng. SE-1, 2 (June 1975), 199-207.
	2	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	3	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	4	Ole-Johan Dahl, SIMULA 67 common base language, (Norwegian Computing Center. Publication), 1968
	5	L. Flon , A. N. Habermann, Towards the construction of verifiable software systems, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.141-148, March 22-24, 1976, Salt Lake City, Utah, United States
	6	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	7	HOARE, C.A.R. Proof of correctness of data representations. Acta Inf. 1, 4 (Nov. 1972), 271-281.
	8	KIEBURTZ, R.B., AND SILBERSCHATZ, A. Capability managers. IEEE Trans. Softw. Eng. SE-4, 6 (Nov. 1978), 467-477.
	9	LAUEE, P.E., TORRIGIANI, P.R., AND SUIELDS, M.W. COSY--A system specification language based on paths and processes. Acta Inf. 12, 2 (July 1979), 109-158.
	10	D. L. Parnas, A technique for software module specification with examples, Communications of the ACM, v.15 n.5, p.330-336, May 1972 [doi>10.1145/355602.361309]
	11	William Ewing Riddle, The modeling and analysis of supervisory systems, 1972
	12	SHAW, A.C. Software specification languages based on regular expressions. Software Development Tools, W.E. Riddle and R.E. Fairley (Eds.). Springer-Verlag, New York, 1980, pp. 148-175.
	13	SHAW, A.C. Software descriptions with flow expressions. IEEE Trans. Softw. Eng. SE-4, 3 (May 1978), 242-254.
	14	SILBERSCHATZ, A., KIEBURTZ, R.B., AND BERNSTEIN, A.J. Extending Concurrent Pascal to allow dynamic resource management. IEEE Trans. Softw. Eng. SE-3, 3 (May 1977), 210-217.
	15	WELSH, J., AND BUSTARD, D.W. Pascal-Plus--Another language for modular multiprogramming. Softw. Pract. Exper. 9 (1979), 947-957.

CITED BY 5

	Sergey Butkevich , Marco Renedo , Gerald Baumgartner , Michal Young, Compiler and tool support for debugging object protocols, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.50-59, Nov. 2000
	John Van Tassel , David Hemmendinger, Specifying and automatically generating Ada tasks in Prolog, Proceedings of the 1990 ACM annual conference on Cooperation, p.121-127, February 20-22, 1990, Washington, D.C., United States
	W. E. Howden , B. Wieand, QDA - A Method for Systematic Informal Program Analysis, IEEE Transactions on Software Engineering, v.20 n.6, p.445-462, June 1994
	David Hemmendinger, Specifying Ada Server Tasks with Executable Formal Grammars, IEEE Transactions on Software Engineering, v.16 n.7, p.741-754, July 1990
	Kurt M. Olender , Leon J. Osterweil, Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation, IEEE Transactions on Software Engineering, v.16 n.3, p.268-280, March 1990