зеркало из
https://github.com/iharh/notes.git
synced 2025-10-31 05:36:08 +02:00
23 строки
686 B
Plaintext
23 строки
686 B
Plaintext
General:
|
|
|
|
Evan Cheng - http://www.cs.colorado.edu/~bec/courses/csci5535-s10/
|
|
http://www.cs.colorado.edu/~bec/courses/csci5535-s10/slides/
|
|
CSCI5535-s9-FundamentalsOfProgrammingLanguages.7z
|
|
CSCI5535-s10-FundamentalsOfProgrammingLanguages.7z
|
|
|
|
|
|
Abstract Interpretation:
|
|
MIT 16.399 - Abstract Interpretation (http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/)
|
|
|
|
|
|
Operational Semantics:
|
|
|
|
http://www.scss.tcd.ie/Matthew.Hennessy/slexternal/lectures.php
|
|
|
|
|
|
Denotational Semantics:
|
|
|
|
http://takeichi.ipl-lab.org/lecture/latest/index.php?plugin=attach&pcmd=open&file=CompDomain.pdf
|
|
http://takeichi.ipl-lab.org/lecture/latest/index.php?%B7%D7%BB%BB%A5%E2%A5%C7%A5%EB%A4%CE%BF%F4%CD%FD2011
|
|
|