Bibliografías temáticas / Programming language semantics / Libros

Libros sobre el tema "Programming language semantics"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Programming language semantics.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 13 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Programming language semantics".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

ten, Cate Balder David y Zeevat Henk 1952-, eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Programming language semantics" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía