Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Toward a semiotic theory of programming languages

Toward a semiotic theory of programming languages 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 http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGPLAN Notices Association for Computing Machinery

Toward a semiotic theory of programming languages

ACM SIGPLAN Notices , Volume 3 (5) – May 1, 1968

Loading next page...
 
/lp/association-for-computing-machinery/toward-a-semiotic-theory-of-programming-languages-83Pha9Wy0v

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 1968 by ACM Inc.
ISSN
0362-1340
DOI
10.1145/954348.954349
Publisher site
See Article on Publisher Site

Abstract

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

Journal

ACM SIGPLAN NoticesAssociation for Computing Machinery

Published: May 1, 1968

There are no references for this article.