The Online Books Page

Programming languages (Electronic computers) -- Semantics

See also what's at your library, or elsewhere.

• Programming languages (Electronic computers)
• Semantics

• Programming languages (Electronic computers) -- Semantics -- Notation

• Programming language semantics

• Semantics With Applications: A Formal Introduction (revised online edition, 1999), by Hanne Riis Nielson and Flemming Nielson (PDF and Postscript with commentary in Denmark)

• LINGOL, a readable formalism for programming language semantics (Dept. of Computer Science, University of Illinois, 1977), by Garry R. Kampen (page images at HathiTrust)

Items below (if any) are from related and broader terms.

• Programming Languages: Application and Interpretation (2007), by Shriram Krishnamurthi (PDF with commentary at Brown)
• Advanced Programming Language Design (1996), by Raphael A. Finkel (PDF files at Addison-Wesley)
• Programming and Programming Languages (2016), by Shriram Krishnamurthi (HTML at Brown)
• Programming in Oberon: Steps Beyond Pascal and Modula (c1992), by Martin Reiser and Niklaus Wirth (PDF in Switzerland)
• The Art of Assembly Language Programming (several editions; all but the "published edition" are free), by Randall Hyde (HTML and other formats at plantation-productions.com)
• CODASYL data description language : journal of development, June 1973. (U.S. Dept. of Commerce, National Bureau of Standards, Institute for Computer Sciences and Technology, Systems Software Division :, 1974), by Conference on Data Systems Languages. Data Description Language Committee (page images at HathiTrust)
• Semantic interpretation of deep structure for natural-language computer input. ([Bedford, Mass., 1970), by Sara Regina Murphey (page images at HathiTrust; US access only)
• Programming and utilizing digital computers. (McGraw-Hill, 1962), by Robert Steven Ledley (page images at HathiTrust)
• Tutorial on generalized programming languages and systems. Instructor ed. (Tutorial Subcommittee, Conference Program Committee, American Society for Information Science, 1968), by Paul J. Fasana, Thomas K. Burgess, Russell Shank, and American Society for Information Science (page images at HathiTrust)
• UNIMATCH : a record linkage system : users manual (Bureau of the Census, 1978), by Matthew A. Jaro and United States. Urban Mass Transportation Administration (page images at HathiTrust)
• Tutorial on generalized programming languages and systems, Student ed. (Tutorial Subcommittee, Conference Program Committee, American Society for Information Science, 1968), by Paul J. Fasana, Russell Shank, and American Society for Information Science (page images at HathiTrust)
• PL/PROPHET : a user's guide to PL/Prophet : the Prophet system's programming language (The Division, 1985), by Beranek Bolt and National Institutes of Health (U.S.). Division of Research Resources (page images at HathiTrust)
• Use of three parameter rating table lookup programs, RDRAT and PARM3, in hydraulic flow models (U.S. Dept. of the Interior, U.S. Geological Survey ;, 1995), by C. L. Sanders and Geological Survey (U.S.) (page images at HathiTrust)
• Gyro II : a macro-defined system for list processing (Argonne National Laboratory, 1966), by Daniel F. Carson, George A. Robinson, U.S. Atomic Energy Commission, and Argonne National Laboratory. Applied Mathematics Division (page images at HathiTrust)
• George programming manual (Argonne National Laboratory, 1959), by Loretta Kassel, Donald A. Flanders, U.S. Atomic Energy Commission, and Argonne National Laboratory (page images at HathiTrust)
• Fortran programming techniques for graph plotting on the IBM-704 computer (Argonne National Laboratory, 1960), by Charles Erwin Cohn, U.S. Atomic Energy Commission, and Argonne National Laboratory. Reactor Engineering Division (page images at HathiTrust)
• Seminar on computational linguistics. (Division of Computer Research and Technology, U.S. Dept. of Health, Education, and Welfare; [for sale by the Supt. of Docs., U.S. Govt. Print. Off., Washington, 1968), by Seminar on Computational Linguistics (1966 : National Institutes of Health), Kathleen Lewis, A. Hood Roberts, Arnold W. Pratt, and National Institutes of Health (U.S.) (page images at HathiTrust)
• A testbed for providing uniformity to user-computer interaction languages (U.S. Dept. of Commerce, National Bureau of Standards :, 1980), by Siegfried Treu (page images at HathiTrust)
• Common command language for file manipulation and network job execution : an example (U.S. Dept. of Commerce, National Bureau of Standards :, 1978), by Mary Lynn Fitzgerald, United States. National Bureau of Standards, and Institute for Computer Sciences and Technology (page images at HathiTrust)
• A basis for standardization of user-terminal protocols for computer network access (U.S. Dept. of Commerce, National Bureau of Standards :, 1975), by Albrecht J. Neumann (page images at HathiTrust)
• Static language analysis (National Bureau of Standards, 1973), by Gordon Lyon and United States. National Bureau of Standards (page images at HathiTrust)
• A note on "grammars with coordinates" (University of Maryland, Computer Science Center], 1970), by David L. Milgram and Azriel Rosenfeld (page images at HathiTrust; US access only)
• A note on scattered context grammars (University of Maryland, Computer Science Center], 1971), by David L. Milgram and Azriel Rosenfeld (page images at HathiTrust; US access only)
• WYLBUR reference manual. (Dept. of Health, Education, and Welfare, National Institutes of Health, Division of Computer Research and Technology, Computer Center Branch, 1978), by National Institutes of Health (U.S.). Computer Center Branch (page images at HathiTrust)
• Users manual for SAAM (simulation, analysis and modeling) (Laboratory of Theoretical Biology, National Cancer Institute, National Institutes of Health ;, 1978), by Mones Berman and Marjory F. Weiss (page images at HathiTrust)
• Fourth generation languages : issues and impacts (Office of Software Development and Information Technology ;, 1986), by Federal Software Management Support Center (U.S.) and United States. Office of Software Development and Information Technology (page images at HathiTrust)
• Design recommendations for query languages (U.S. Army Research Institute for the Behavorial and Social Sciences, 1980), by S. L. Ehrenreich and U.S. Army Research Institute for the Behavioral and Social Sciences (page images at HathiTrust)
• Database language NDL. (U.S. Dept. of Commerce/National Bureau of Standards ;, 1987), by United States. National Bureau of Standards (page images at HathiTrust)
• Aids for COBOL program conversion : FIPS PUB 21 to FIPS PUB 21-1 (The Bureau : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1975), by United States. National Bureau of Standards (page images at HathiTrust)
• Interpretation procedures for federal information processing standard programming languages. (U.S. Dept. of Commerce, National Bureau of Standards ;, 1982), by United States. National Bureau of Standards (page images at HathiTrust)
• Fortran. (U.S. Dept. of Commerce, National Bureau of Standards ;, 1985), by United States. National Bureau of Standards (page images at HathiTrust)
• Introduction to software packages (U.S. Dept. of Commerce, National Bureau of Standards, 1984), by Sheila Frankel and United States. National Bureau of Standards (page images at HathiTrust)
• Real-time multiprocessor programming language (RTMPL) : users manual (National Aeronautics and Space Administration, Scientific and Technical Information Branch ;, 1985), by Dale J. Arpasi and Lewis Research Center (page images at HathiTrust)
• INFORM : an interactive data collection and display program with debugging capability (National Aeronautics and Space Administration, Scientific and Technical Information Office ;, 1980), by David S. Cwynar and Lewis Research Center (page images at HathiTrust)
• User's guide for SFTRAN/1100 (National Aeronautics and Space Administration, Scientific and Technical Information Office ;, 1978), by William F. Ford, Theodore E. Fessler, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Office (page images at HathiTrust)
• Flight computer and language processor study (National Aeronautics and Space Administration ;, 1970), by Raymond J. Rubey, Laurel Bentley, William C. Nielsen, Electronics Research Center (U.S.), and inc Logicon (page images at HathiTrust)
• A matrix-generator system for linear programming problems (Center for Advanced Computation, University of Illinois at Urbana-Champaign, 1971), by Ian Marceau, Thomas W. Mason, and University of Illinois at Urbana-Champaign Center for Advanced Computation (page images at HathiTrust; US access only)
• A BNF like language for the description of syntax directed compilers. (Urbana, 1969), by Harold Robert George Trout (page images at HathiTrust)
• Compiler systems and metalanguages (Urbana, 1966), by Burton E Squires (page images at HathiTrust)
• Compiling serial languages for parallel machines (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by Bruce Robert Leasure (page images at HathiTrust)
• The concept of time in programming languages. (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1973), by Edward Neufville Adams (page images at HathiTrust)
• Control statement syntax and semantics of a language for parallel processors (Urbana, 1969), by Robert B. Wilhelmson (page images at HathiTrust)
• Data dependence in ordinary programs (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by Utpal K. Banerjee (page images at HathiTrust)
• Degrees of unsolvability in the theory of programming languages (Dept. of Computer Science, University of Illinois, 1971), by Dennis F. Cudia (page images at HathiTrust)
• Design and implementation of the language PILOT/360 ([Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1977), by Raymond Douglas Rohn (page images at HathiTrust)
• EOL programming examples: a primer (Urbana, 1967), by Leon ukaszewicz and Jürg Nievergelt (page images at HathiTrust)
• Experimental and formal language design applied to control constructs for interactive computing (Department of Computer Science, University of Illinois at Urbana-Champaign, 1976), by David Wayne Embley (page images at HathiTrust)
• An experiment on CAI sequencing constructs (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by David W. Embley (page images at HathiTrust)
• A formal definition of the SIBYL programming languages (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1977), by Garry R. Kampen (page images at HathiTrust)
• GIMLI and GIML : a machine and programming language for low-cost interactive graphical systems (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1977), by Neal Michael Hennegan (page images at HathiTrust)
• A graphics display language (University of Illinois, Department of Computer Science, 1967), by Dugald Austin Henderson (page images at HathiTrust)
• A graphics interpreter language (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by James Brendan Stynes and University of Illinois at Urbana-Champaign. Dept. of Computer Science (page images at HathiTrust)
• An implementation of a system for the formal definition of programming languages (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978), by Brian Alfred Hansche (page images at HathiTrust)
• An interactive syntax analyzer (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1972), by Wayne C. Sanford (page images at HathiTrust)
• A Language for describing digital computers (Urbana, 1966), by John Allan Wilber (page images at HathiTrust)
• Model of partial switching in polycrystalline ferromagnetics (University of Illinois at Urbana-Champaign, 1963), by S. R. Ray and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• A programming language for the parallel processing of pictures (University of Illinois at Urbana-Champaign, 1963), by R. Narasimhan and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• Restricted oracles (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979), by David A. Plaisted, University of Illinois at Urbana-Champaign. Dept. of Computer Science, and National Science Foundation (U.S.) (page images at HathiTrust)
• A semantic definition system (a preliminary description) (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by Leon ukaszewicz (page images at HathiTrust)
• A thesaurus feature for the EUREKA information retrieval system (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1977), by Trevor John Morgan (page images at HathiTrust)
• A translation of relational database query languages into SIBYL (Dept. of Computer Science, University of Illinois, 1978), by David W. Dawson (page images at HathiTrust)
• The translator generator system (Dept. of Computer Science, University of Illinois, 1967), by Allan Williams McInnes (page images at HathiTrust)
• A universal language for continuous network simulation (1977), by Thomas Fred Runge (page images at HathiTrust)
• The WEB system. (Urbana, 1967), by J. H. Hazelhurst (page images at HathiTrust)
• The WEB system : part II a formal description of the WEB input language (University of Illinois at Urbana-Champaign, 1967), by W. D. Bond, B. H. McCormick, E. S. Davidson, and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• The WEB system : part III WEB change orders (University of Illinois at Urbana-Champaign, 1967), by W. D. Bond, E. S. Davidson, and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• What do we need in programming languages for mathematical software? (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by C. William Gear (page images at HathiTrust)
• Tools for embedded computing systems software. (National Aeronautics and Space administration, Scientific and Technical Information Office, 1978), by American Institute of Aeronautics and Astronautics, Langley Research Center, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• The SHARE ALGOL 60 translator for the IBM 709/7090/7094 (Union Carbide Corporation, Nuclear Division, Oak Ridge Gaseous Diffusion Plant, 1965), by Marjorie P. Lietzke, U.S. Atomic Energy Commission, and Union Carbide Corporation. Nuclear Division (page images at HathiTrust)
• Subroutines for CAMAC (Dept. of Energy, Assistant Secretary for Environment, Division of Biomedical and Environmental Research :, 1978), by United States. Nim Committee, United States. Department of Energy. Division of Biomedical and Environmental Research, and European Standards on Nuclear Electronics Committee (page images at HathiTrust)
• COCENTS : COBOL Census Tabulation System. (U.S. Dept. of Commerce, Bureau of the Census, International Statistical Programs Center, 1976), by International Statistical Programs Center (U.S.) (page images at HathiTrust)
• IBAL manual : the ILLIAC III basic assembler language (Dept. of Computer Science, University of Illinois, 1968), by John C. Schwebel (page images at HathiTrust; US access only)
• DOE-2 (Dept. of Energy, 1979), by Lawrence Berkeley Laboratory. Building Energy Analysis Group, H. L. Horak, Stephen C. Diamond, Los Alamos Scientific Laboratory. Group WX-4, United States. Department of Energy, and United States. Department of Energy. Division of Buildings and Community Systems (page images at HathiTrust)
• Semantic interpretation of deep structure for natural-language computer input (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, United States Air Force, 1970., 1970), by Sara Regina Murphey and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Grammar for a pattern description language (Urbana, Illinois : University of Illinois, Department of Computer Science, 1965., 1965), by Kenneth J. Breeding and U.S. Atomic Energy Commission (page images at HathiTrust)
• Numerical control lathe language study (U.S. Army Communications Research & Development Command, 1979), by Peter D. Senkiw, David K. Ruppe, Numerical Control Society, and United States. Army. Communications Research & Development Command (page images at HathiTrust)
• DOE-2 Program Manual (Los Alamos, New Mexico : Los Alamos Scientific Laboratory, 1979., 1979), by Stephen C. Diamond, E. F. Tucker, Mark A. Roschke, John L. Peterson, Bruce D. Hunn, H. L. Horak, United States. Department of Energy, Los Alamos Scientific Laboratory. Group WX-4, and Lawrence Berkeley Laboratory (page images at HathiTrust)
• DOE-2 Reference Manual (Los Alamos, New Mexico : Los Alamos Scientific Laboratory, 1979., 1979), by Henry L. Horak, E. F. Tucker, Mark A. Roschke, John L. Peterson, Bruce D. Hunn, Don A. York, United States. Department of Energy, Los Alamos Scientific Laboratory. Group WX-4, and Lawrence Berkeley Laboratory (page images at HathiTrust)
• On the relative efficiencies of context-free grammar recognizers (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965., 1965), by T. V. Griffiths, S. R. Petrick, Air Force Cambridge Research Laboratories (U.S.), and United States. Air Force. Office of Aerospace Research (page images at HathiTrust)
• Machine-aided design of context-free grammars (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965., 1965), by Thomas G. Evans and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Fundamental concepts in the theory of systems (Wright-Patterson Air Force Base, Ohio, Wright Air Development Center, Air Research and Development Command, United States Air Force, 1957., 1957), by University of Chicago. System Research, United States. Air Force. Air Research and Development Command, and Wright Air Development Center (page images at HathiTrust)
• Format for acquiring rapid data analysis capabilities of STORET data : manipulation of National Eutrophication Survey water quality data (Environmental Protection Agency, Office of Research and Development, Environmental Monitoring and Support Laboratory ;, 1976), by James D. Bliss, J. Hodson, M. J. Friedland, United States. Environmental Protection Agency. Office of Program Management and Support, and United States. Environmental Protection Agency. Office of Research and Development (page images at HathiTrust)
• Reference manual, 704 FORTRAN programming system. (White Plains, N.Y.], 1961), by International Business Machines Corporation (page images at HathiTrust; US access only)

More items available under broader and related terms at left.