อ้างอิง ของ ภาษาโปรแกรม

  1. 1 2 Aaby, Anthony (2004). Introduction to Programming Languages.
  2. ↑ ในมโนทัศน์แบบคณิตศาสตร์ สิ่งนี้หมายความว่า ภาษาโปรแกรมคือทัวริงบริบูรณ์ MacLennan, Bruce J. (1987). Principles of Programming Languages. Oxford University Press. p. 1. ISBN 0-19-511306-3.
  3. ↑ Steven R. Fischer, A history of language, Reaktion Books, 2003, ISBN 186189080X, p. 205
  4. ↑ ACM SIGPLAN (2003). "Bylaws of the Special Interest Group on Programming Languages of the Association for Computing Machinery". สืบค้นเมื่อ 2006-06-19., The scope of SIGPLAN is the theory, design, implementation, description, and application of computer programming languages - languages that permit the specification of a variety of different computations, thereby providing the user with significant control (immediate or delayed) over the computer's operation.
  5. ↑ Dean, Tom (2002). "Programming Robots". Building Intelligent Robots. Brown University Department of Computer Science. สืบค้นเมื่อ 2006-09-23.
  6. ↑ R. Narasimahan, Programming Languages and Computers: A Unified Metatheory, pp. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8, Academic Press, 1994, ISBN 012012108, p.193 : "a complete specification of a programming language must, by definition, include a specification of a processor--idealized, if you will--for that language." [แหล่งข้อมูลนี้มีการอ้างอิงจากแหล่งอื่นที่รับรองข้อความดังกล่าว]
  7. ↑ Ben Ari, Mordechai (1996). Understanding Programming Languages. John Wiley and Sons. Programs and languages can be defined as purely formal mathematical objects. However, more people are interested in programs than in other mathematical objects such as groups, precisely because it is possible to use the program—the sequence of symbols—to control the execution of a computer. While we highly recommend the study of the theory of programming, this text will generally limit itself to the study of programs as they are executed on a computer.
  8. ↑ David A. Schmidt, The structure of typed programming languages, MIT Press, 1994, ISBN 0262193493, p. 32
  9. ↑ Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. p. 339. ISBN 0-262-16209-1.
  10. ↑ Digital Equipment Corporation. "Information Technology - Database Language SQL (Proposed revised text of DIS 9075)". ISO/IEC 9075:1992, Database Language SQL. สืบค้นเมื่อ June 29, 2006.
  11. ↑ The Charity Development Group (1996). "The CHARITY Home Page". สืบค้นเมื่อ 2006-06-29. Unknown parameter |month= ignored (help), Charity is a categorical programming language..., All Charity computations terminate.
  12. ↑ XML in 10 points W3C, 1999, XML is not a programming language.
  13. ↑ Powell, Thomas (2003). HTML & XHTML: the complete reference. McGraw-Hill. p. 25. ISBN 0-07-222-942-X. HTML is not a programming language.
  14. ↑ Dykes, Lucinda; Tittel, Ed (2005). XML For Dummies, 4th Edition. Wiley. p. 20. ISBN 0-7645-8845-1. ...it's a markup language, not a programming language.
  15. ↑ "What kind of language is XSLT?". Ibm.com. สืบค้นเมื่อ 2010-12-03.
  16. ↑ "XSLT is a Programming Language". Msdn.microsoft.com. สืบค้นเมื่อ 2010-12-03.
  17. ↑ Scott, Michael (2006). Programming Language Pragmatics. Morgan Kaufmann. p. 802. ISBN 0-12-633951-1. XSLT, though highly specialized to the transformation of XML, is a Turing-complete programming language.
  18. ↑ http://tobi.oetiker.ch/lshort/lshort.pdf
  19. ↑ Syropoulos, Apostolos (2003). Digital typography using LaTeX. Springer-Verlag. p. 213. ISBN 0-387-95217-9. TeX is not only an excellent typesetting engine but also a real programming language. Unknown parameter |coauthors= ignored (|author= suggested) (help)
  20. ↑ Robert A. Edmunds, The Prentice-Hall standard glossary of computer terminology, Prentice-Hall, 1985, p. 91
  21. ↑ Pascal Lando, Anne Lapujade, Gilles Kassel, and Frédéric Fürst, Towards a General Ontology of Computer Programs, ICSOFT 2007, pp. 163-170
  22. ↑ S.K. Bajpai, Introduction To Computers And C Programming, New Age International, 2007, ISBN 812241379X, p. 346
  23. ↑ R. Narasimahan, Programming Languages and Computers: A Unified Metatheory, pp. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8, Academic Press, 1994, ISBN 012012108, p.215: "[...] the model [...] for computer languages differs from that [...] for programming languages in only two respects. In a computer language, there are only finitely many names--or registers--which can assume only finitely many values--or states--and these states are not further distinguished in terms of any other attributes. [author's footnote:] This may sound like a truism but its implications are far reaching. For example, it would imply that any model for programming languages, by fixing certain of its parameters or features, should be reducible in a natural way to a model for computer languages."
  24. ↑ John C. Reynolds, Some thoughts on teaching programming and programming languages, SIGPLAN Notices, Volume 43, Issue 11, November 2008, p.109

แหล่งที่มา

WikiPedia: ภาษาโปรแกรม http://pll.cpsc.ucalgary.ca/charity1/www/home.html http://tobi.oetiker.ch/lshort/lshort.pdf http://www.ibm.com/developerworks/library/x-xslt/ http://msdn.microsoft.com/en-us/library/ms767587(V... http://dblp.uni-trier.de/db/conf/icsoft/icsoft2007... http://www.cs.brown.edu/people/tld/courses/cs148/0... http://www.contrib.andrew.cmu.edu/~shadow/sql/sql1... http://www.loa-cnr.it/ICSOFT2007_final.pdf http://www.acm.org/sigs/sigplan/sigplan_bylaws.htm http://www.w3.org/XML/1999/XML-in-10-points.html