Libri sul tema "Programming language semantics"

Watt, David A. Programming language syntax and semantics. New York: Prentice Hall, 1991.

Muffy, Thomas, a cura di. Programming language syntax and semantics. New York: Prentice-Hall, 1991.

Kirkerud, Bjørn. Programming language semantics: Imperative and object-oriented languages. London: International Thomson Computer Press, 1997.

Main, M., A. Melton, M. Mislove e D. Schmidt, a cura di. Mathematical Foundations of Programming Language Semantics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19020-1.

Marcotty, Michael. Programming language landscape: Syntax, semantics, and implementation. 2^a ed. Chicago: Science Research Associates, 1986.

Eijck, J. van. Computational semantics with functional programming. Cambridge: Cambridge University Press, 2010.

Benedetti, Giulio. The fundamental structural elements of language: Operational semantics. Hauppauge, N.Y: Nova Science Publishers, Inc., 2010.

Schmidt, DavidA. Denotational semantics: A methodology for language development. Boston (Mass.): Allyn and Bacon, 1986.

Felleisen, Matthias. Semantics engineering with PLT Redex. Cambridge, MA: MIT Press, 2009.

Denotational semantics: A methodology for language development. Dubuque, Iowa: Wm.C. Brown, 1988.

Schmidt, David A. Denotational semantics: A methodology for language development. Boston: Allyn and Bacon, 1986.

Clifford, James. Formal semantics and pragmatics for natural language querying. Cambridge: Cambridge University Press, 1990.

DLP: A language for distributed logic programming : design, semantics, and implementation. Chichester [England]: Wiley, 1992.

Clifford, James. Formal Semantics and Pragmatics for Natural Language Querying. Cambridge: Cambridge University Press, 1990.

Reddy, Uday Sankara. Objects as closures: Abstract semantics of object oriented languages. [Washington, DC: National Aeronautics and Space Administration, 1989.

Natural language understanding. 2^a ed. Menlo Park, Calif: Benjamin/Cummings Pub. Co., 1994.

International Workshop on Natural Language Understanding and Logic Programming (2nd 1987 Vancouver, B.C.). Natural language understanding and logic programming, II: Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987. Amsterdam: North-Holland, 1988.

Reps, Thomas W. Generating language-based environments. Cambridge, Mass: MIT Press, 2012.

Understanding Z: A specification language and its formal semantics. Cambridge [Cambridgeshire]: Cambridge University Press, 1988.

Grover, Claire. The Alvey natural language tools grammar. 4^a ed. Cambridge, Eng: University of Cambridge, Computer Laboratory, 1993.

Minker, Wolfgang. Stochastically-based semantic analysis. New York: Springer Science+Business Media, 1999.

Natural language understanding. 2^a ed. Redwood City, Calif: Benjamin/Cummings Pub. Co., 1995.

Natural language understanding. Menlo Park, Calif: Benjamin/Cummings Pub. Co., 1987.

Hausser, Roland R. Computation of language: An essay on syntax, semantics, and pragmatics in natural man-machine communication. Berlin: Springer-Verlag, 1989.

Kaplan, Simon M. Incremental attribute evaluation in distributed language-based environments. Urbana, IL (1304 W. Springfield Ave., Urbana 61801): Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1986.

Harris, Mary Dee. Introduction to natural language processing. Reston, Va: Reston Pub. Co., 1985.

Introduction to natural language processing. Reston: Reston Publishing Company, 1985.

ten, Cate Balder David, e Zeevat Henk 1952-, a cura di. Logic, language, and computation: 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 ; revised selected papers. Berlin: Springer, 2007.

Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication (1988 Heidelberg, Germany). Natural language at the computer: Proceedings. Berlin: Springer-Verlag, 1988.

Tbilisi Symposium on Logic, Language, and Computation (1995 Gudauri, Georgia). The Tbilisi Symposium on Logic, Language, and Computation: Selected papers. Stanford, Calif: CSLI Publications, 1998.

Brink, Chris. A paradigm for program semantics: Power structures and duality. Stanford, Calif: CSLI Publications, 2001.

International Symposium on Domain Theory (1st 1999 Shanghai, China). Domains and processes: Proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999. Boston: Kluwer Academic Publishers, 2001.

Christian, Retoré, e SpringerLink (Online service), a cura di. The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Semantics of programming languages. New York: Prentice Hall, 1991.

Baudinet, Marianne. Proving termination properties of PROLOG programs: A semantic approach. Stanford, Calif: Dept. of Computer Science, Stanford University, 1988.

Minker, Wolfgang. Stochastically-based semantic analysis. Boston: Kluwer Academic, 1999.

Fernández, Maribel. Programming Languages and Operational Semantics. London: Springer London, 2014. http://dx.doi.org/10.1007/978-1-4471-6368-8.

van Breugel, Franck. Comparative Metric Semantics of Programming Languages. Boston, MA: Birkhäuser Boston, 1998. http://dx.doi.org/10.1007/978-1-4612-4160-7.

Gunter, Carl. Semantics of programming languages: Structures and techniques. Cambridge, Mass: MIT Press, 1992.

Gunter, Carl A. Semantics of programming languages: Structures and techniques. Cambridge, Mass: MIT Press, 1992.

Semantics of programming languages: Structures and techniques. Cambridge, Ma: MIT Press, 1992.

The formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.

The formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.

Tennent, R. D. Functor-category semantics of programming languages and logics. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1986.

Reddy, Uday Sankara. Logic languages based on functions: Semantics and implementation. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1986.

Hennessy, Matthew. The semantics of programming languages: An elementary introduction using structural operational semantics. Chichester [England]: Wiley, 1990.

Stump, Aaron. Programming Language Foundations. Wiley, 2013.

Hitzler, Pascal, e Anthony Seda. Mathematical Aspects of Logic Programming Semantics. Taylor & Francis Group, 2016.

Hitzler, Pascal, e Anthony Seda. Mathematical Aspects of Logic Programming Semantics. Taylor & Francis Group, 2016.

Hitzler, Pascal, e Anthony Seda. Mathematical Aspects of Logic Programming Semantics. Taylor & Francis Group, 2017.