Τυπική σημασιολογία των γλωσσών προγραμματισμού: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Bot: Migrating 11 langlinks, now provided by Wikidata on d:Q1437428 |
Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 |
||
Γραμμή 44:
== Αναφορές ==
* Carl Gunter. ''Semantics of Programming Languages''. MIT Press, 1992. (ISBN 0-262-07143-6)
* Robert Harper. ''Practical Foundations for Programming Languages''. Working draft, 2006. ([https://web.archive.org/web/20070627041059/http://www.cs.cmu.edu/~rwh/plbook/book.pdf online], σαν PDF)
* Shriram Krishnamurthi. ''Programming Languages: Application and Interpretation''. ([http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ online], σαν PDF)
* John C. Reynolds. ''Theories of Programming Languages''. Cambridge University Press, 1998. (ISBN 0-521-59414-6)
|