Увійти

Готові списки джерел за темами / Programming language semantics / Книги

Книги з теми "Programming language semantics"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Programming language semantics.

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 13 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Programming language semantics".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Main, M., A. Melton, M. Mislove, and 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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

ten, Cate Balder David, and 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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!