A logical framework to prove properties of Alpha programs. Bougé, L. & Cachera, D. In ASAP, pages 187-198, 1997. IEEE Computer Society.
A logical framework to prove properties of Alpha programs. [link]Link  A logical framework to prove properties of Alpha programs. [link]Paper  bibtex   
@inproceedings{conf/asap/BougeC97,
  added-at = {2015-12-03T00:00:00.000+0100},
  author = {Bougé, Luc and Cachera, David},
  biburl = {http://www.bibsonomy.org/bibtex/2c30889b77dca10468a1b40519e35af44/dblp},
  booktitle = {ASAP},
  crossref = {conf/asap/1997},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ASAP.1997.606825},
  interhash = {72152fcb0198bf285700a3eea6d947c5},
  intrahash = {c30889b77dca10468a1b40519e35af44},
  isbn = {0-8186-7958-1},
  keywords = {dblp},
  pages = {187-198},
  publisher = {IEEE Computer Society},
  timestamp = {2015-12-04T11:41:46.000+0100},
  title = {A logical framework to prove properties of Alpha programs.},
  url = {http://dblp.uni-trier.de/db/conf/asap/asap1997.html#BougeC97},
  year = 1997
}

Downloads: 0