Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
516PLAN N0t1ce5 May 1968 70WARD A 5EM1071C 7HFDRY 0F PR06RA~£~N6 LANC~dA6E5 1967 N0vem6er 5teven 1. La5210 Dec1510n 5y5tem5 1nc. Ea5t 66 M1d1and Ave. Paramu5, New Jer5ey A857RAC7 8a5ed 0n prev10u5 re5u1t5 1n a var1ety 0f re1ated area5~ a 5chema 15 de5cr16ed t0 pr0duce a un1f1ed 5em10t1c the0ry 5pec1f1ca11y app11ca61e t0 pr09ramm1n9 1an9ua9e5. An a1ternat1ve t0 8NF-11ke de5cr1pt10n5 15 referred t0, and the 5tructure 0f the 5emant1c and pra9mat1c c0mp0nent5 15 0ut11ned. Pr09ramm1n9 1an9ua9e5 are treated a5 any 0ther a190r1thm1c n0tat10n, and n0 reference 15 a110wed 1n the pr0p05ed the0ry t0 e4u1pment, 06ject c0de, c0mp11er, 0r env1r0nment. 7he nature 0f th15 paper 15 5pecu1at1ve. 1t5 purp05e 15 t0 5tate 9r0undru1e5, a55umpt10n5, and d1rect10n f0r 50me current1y 0n-901n9 re5earch. 7he f0undat10n ha5 6een 1a1d part1y 6y prev10u5 w0rk 0n the 5em10t1c5 0f Pr09ramm1n9 1an9ua9e5 (e.9., the three 1F1P c0nference5 0n the t0p1c), part1y 6y recent advance5 1n 11n9u15t1c the0ry (e.9., 0f Ch0m5ky, 61n56ur9, 5chut2en6er9er, and 6re16ach), and 1n part 6y re1ated w0rk 1n mathemat1ca1 1091c (e.9., 6y P05t, Mark0v, Curry, and Ha0 Wan9). 7he term ¢ ¢5em10t1c5 ¢ ¢ 15 u5ed 1n 1t5 c0nvent10na1 (1.e., M0rr15 and Carnap) 5en5e, a5 c0n515t1n9 0f 5yntax, 5emant1c5, and pra9mat1c5. Demarkat10n 0f the d0ma1n5
ACM SIGPLAN Notices – Association for Computing Machinery
Published: May 1, 1968
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.