Ignore:
Timestamp:
Apr 24, 2019, 4:06:28 PM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
39de1c5
Parents:
71a12390
Message:

thesis: add comments on CFA formalization

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r71a12390 rec92b48  
    11481148    year        = 1998,
    11491149    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
     1150}
     1151
     1152@phdthesis{Norrish98,
     1153  title={C formalised in HOL},
     1154  author={Norrish, Michael},
     1155  year={1998},
     1156  school={University of Cambridge}
    11501157}
    11511158
     
    31543161    year        = 2018,
    31553162}
     3163
     3164@article{Leroy09,
     3165 keywords = {C formalization},
     3166 contributer = {a3moss@uwaterloo.ca},
     3167 author = {Leroy, Xavier},
     3168 title = {Formal Verification of a Realistic Compiler},
     3169 journal = {Commun. ACM},
     3170 issue_date = {July 2009},
     3171 volume = {52},
     3172 number = {7},
     3173 month = jul,
     3174 year = {2009},
     3175 issn = {0001-0782},
     3176 pages = {107--115},
     3177 numpages = {9},
     3178 url = {http://doi.acm.org/10.1145/1538788.1538814},
     3179 doi = {10.1145/1538788.1538814},
     3180 acmid = {1538814},
     3181 publisher = {ACM},
     3182 address = {New York, NY, USA},
     3183}
    31563184
    31573185@manual{Fortran95,
     
    53165344}
    53175345
     5346@inproceedings{Krebbers14,
     5347 keywords = {c formalization},
     5348 contributer = {a3moss@uwaterloo.ca},
     5349 author = {Krebbers, Robbert},
     5350 title = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
     5351 booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     5352 series = {POPL '14},
     5353 year = {2014},
     5354 isbn = {978-1-4503-2544-8},
     5355 location = {San Diego, California, USA},
     5356 pages = {101--112},
     5357 numpages = {12},
     5358 url = {http://doi.acm.org/10.1145/2535838.2535878},
     5359 doi = {10.1145/2535838.2535878},
     5360 acmid = {2535878},
     5361 publisher = {ACM},
     5362 address = {New York, NY, USA},
     5363}
     5364
    53185365@book{Deitel04,
    53195366    keywords    = {concurrency, operating systems},
     
    76127659}
    76137660
     7661@techreport{Black90,
     7662  title={Typechecking polymorphism in {Emerald}},
     7663  author={Black, Andrew P and Hutchinson, Norman C},
     7664  year={1990},
     7665  institution={Cambridge Research Laboratory, Digital Equipment Corporation}
     7666}
     7667
    76147668@article{Cormack90,
    76157669    keywords    = {polymorphism},
Note: See TracChangeset for help on using the changeset viewer.