mbox for Semantics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

mbox for Semantics

Full text

Pdf (867 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 2 (April 1982) table of contents

Pages: 283 - 294

Year of Publication: 1982

ISSN:0164-0925

Authors

E. A. Ashcroft	Department of Computer Science, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
W. W. Wadge	Department of Computer Science, University of Warwick, Coventry, England

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 26, Citation Count: 8

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/357162.357170 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	ANDERSON, E.R., BELZ, F.C., AND BLUM, E.K. Issues in the formal specification of programming languages. In Formal Description of Programming Concepts, E.J. Neuhold (Ed.). Elsevier North- Holland, New York, 1978, pp. 1-30.
	2	ASHCROFT, E.A., AND WADCE, W.W. Structured Lucid. Tech. Rep. CS-79-21, Computer Science Dep., Univ. of Waterloo, Ontario, 1979.
	3	E. A. Ashcroft , W. W. Wadge, Lucid, a nonprocedural language with iteration, Communications of the ACM, v.20 n.7, p.519-526, July 1977 [doi>10.1145/359636.359715]
	4	As~cRo~r, E.A., AND WADGE, W.W. Lucid--A formal system for writing and proving programs. SIAM J. Comput. 5, 3 (1976), 519-526.
	5	Alonzo Church, The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies), Princeton University Press, Princeton, NJ, 1985
	6	DENNIS, J. Opening remarks. In Formal Description of Programming Concepts, E.J. Neuhold (Ed.). Elsevier North-Holland, New York, 1978, pp. xi-xvii.
	7	DIJKSTRA, E.W. A somewhat open letter to EAA. EWD 614, Burroughs Corp., AL Nuenen, Netherlands, Mar. 1977.
	8	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	9	Edsger W. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, v.11 n.3, p.147-148, March 1968 [doi>10.1145/362929.362947]
	10	FRIEDMAN, D., AND WISE, D. Applicative multiprogramming. Tech. Rep. 72, Computer Science Dep., Indiana Univ., Bloomington, 1979.
	11	Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	12	GORDON, M. Operational reasoning and denotational semantics. In Proc. IRIA Conf. on Proving and Improving Programs (Colloques Institut de Recherche d'Informatique et d'Automatique Arc et Senans, France), 1975, pp. 83-98.
	13	GORDON, M., MILNER, R., MORRIS, L., NEWEY, M., AND WADSWORTH, C. A metalanguage for interactive proof in LCF. Tech. Rep. CSR-16-77, Dep. of Computer Science, Univ. of Edinburgh, Scotland, 1977.
	14	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	15	KAHN, G., AND McQUEEN, D.B. Coroutines and networks of parallel processes. In Proc. IFIP Congress 77, Elsevier North-Holland, 1977, pp. 993-998.
	16	KLEENE, S.C. Introduction to Meta Mathematics. Van Nostrand Reinhold, Florence, Ky., 1952.
	17	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	18	P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
	19	John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
	20	MAY, M.D., TAYLOR, R.J.B., AND WHITBY-STREVENS, C. EPL: An experimental language for distributed computing. In Trends and Applications: Distributed Processing--Proceedings, National Bureau of Standards, U.S. Government Printing Office, Washington, D.C., May 1978, pp. 69-71.
	21	Robert Milne , C. Strachey, A Theory of Programming Language Semantics, Halsted Press, New York, NY, 1977
	22	PLOTK1N, G.D. A power domain construction. SIAM J. Comput. 5, 3 (1976), 452-487.
	23	RICHARDS, M. The portability of the BCPL compiler. Softw. Pract. Exper. 1, 2 (1971), 135-146.
	24	SCOTT, D.S. Data types as lattices. SIAM J. Comput. 5, 3 (1976), 522-587.
	25	SCOTT, D.S., AND STRACHEY, C. Toward a mathematical semantics for computer languages. In MRI Symposium Proceedings, vol. 21: Proceedings of the Symposium on Computers and Automata, Fox, J. (Ed.). Polytechnic Press, Polytechnic Institute of Brooklyn, New York, 1971, pp. 19-46.
	26	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
	27	TENNENT, R.D. Language design methods based on semantic principles. Acta Inf. 8 (1977), 97-112.
	28	R. D. Tennent, The denotational semantics of programming languages, Communications of the ACM, v.19 n.8, p.437-453, Aug. 1976 [doi>10.1145/360303.360308]
	29	TU~ER, D.A. A new implementation technique for applicative languages. Softw. Pract. Exper. 8 (1979), 31-49.
	30	Jean Vuillemin, Correct and optimal implementations of recursion in a simple programming language, Proceedings of the fifth annual ACM symposium on Theory of computing, p.224-239, April 30-May 02, 1973, Austin, Texas, United States [doi>10.1145/800125.804054]

CITED BY 8

	Raymond D. Gumb, A first course in program verification and the semantics of programming languages, ACM SIGCSE Bulletin, v.21 n.1, p.146-150, Feb. 1989
	Paul J. Drongowski, Representation in CAD: Models and semantics, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.131-135, March 1985, New Orleans, Louisiana, United States
	Michael G. Main , David B. Benson, Denotational semantics for "natural" language question-answering programs, Computational Linguistics, v.9 n.1, p.11-21, January-March 1983
	Dan Craigen, Some thoughts arising from a language design effort, ACM SIGSOFT Software Engineering Notes, v.10 n.4, August 1985
	Ronald E. Prather, Proposal for a categorical programming language, ACM SIGPLAN Notices, v.25 n.4, p.43-50, April 1990
	Panos Rondogiannis , William W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic (TOCL), v.6 n.2, p.441-467, April 2005
	Paulo A. S. Veloso , José Mauro Volkmer de Castilho , Antonio L. Furtado, Systematic derivation of complementary specifications, Proceedings of the seventh international conference on Very Large Data Bases, p.409-421, September 09-11, 1981, Cannes, France
	Georges Louis , Alain Pirotte, A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus, Proceedings of the 8th International Conference on Very Large Data Bases, p.348-356, September 08-10, 1982