| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| teaching:cc5115 [2020/02/10 12:59] – [Motivación y Objetivos] folmedo | teaching:cc5115 [2020/02/10 13:06] – [Material] folmedo |
|---|
| ==== Material ==== | ==== Material ==== |
| |
| * G. Winskel, //The Formal Semantics of Programming Languages//, MIT Press, 1993 ([[https://uchile-primo.hosted.exlibrisgroup.com/primo-explore/fulldisplay?docid=uchile_alma21142459530003936&context=L&vid=56UDC_INST&search_scope=uchile_scope&tab=uchile_tab&lang=es_CL|disponible en biblioteca]]) | * //Learn you a Haskell for great good: A beginner's guide//. Lipovača M., No Starch Press, 1º Edición, 2011. ([[http://learnyouahaskell.com|disponible online:]]) |
| * F. Nielson et al., //Semantics with Applications: An Appetizer//, Springer, 2007 ([[https://uchile-primo.hosted.exlibrisgroup.com/primo-explore/fulldisplay?docid=uchile_alma51170845280003936&context=L&vid=56UDC_INST&search_scope=uchile_scope&tab=uchile_tab&lang=es_CL|disponible en biblioteca]]) | * //Programming in Haskell//. Hutton. G. Cambridge University Press. 2º Edición, 2016. ([[http://www.cs.nott.ac.uk/~pszgmh/pih.html|disponible online:]]) |
| * F. Nielson et al., //Principles of Program Analysis//, Springer, 2015 ([[https://uchile-primo.hosted.exlibrisgroup.com/primo-explore/fulldisplay?docid=uchile_alma21123471330003936&context=L&vid=56UDC_INST&search_scope=uchile_scope&isFrbr=true&tab=uchile_tab&lang=es_CL|disponible en biblioteca]]) | * //Thinking functionally with Haskell//. Richard Bird. Cambridge University Press. 1º Edición, 2015. |
| * P.W. O'Hearn, //A Primer on Separation Logic (and Automatic Program Verification and Analysis)//, Notas de la Escuela de Verano Marktoberdorf 2011 ([[http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf|disponible online]]) | |
| * J. B. Almeida et al., //Rigorous Software Development: An Introduction to Program Verification//, Springer, 2011 | |
| * A. Appel et al., //Program Logics for Certified Compilers//, Cambridge University Press, 2014 | |
| * P. Cousot, //A Tutorial on Abstract Interpretation//, VMCAI'05 Industrial Day on Automatic Tools for Program Verification, 2005 ([[https://homepage.cs.uiowa.edu/~tinelli/classes/seminar/|disponible online]]) | |
| | |
| ==== Contacto ==== | ==== Contacto ==== |
| Federico Olmedo, Oficia 311N, [[folmedo@dcc.uchile.cl|email]] | Federico Olmedo, Oficia 311N, [[folmedo@dcc.uchile.cl|email]] |
| |
