A logical framework to prove properties of Alpha programs. Bougé, L. & Cachera, D. In ASAP, pages 187-198, 1997. IEEE Computer Society. 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
{"_id":"zrDjjcLaEBDsurZdG","bibbaseid":"boug-cachera-alogicalframeworktoprovepropertiesofalphaprograms-1997","downloads":0,"creationDate":"2015-12-10T09:27:51.432Z","title":"A logical framework to prove properties of Alpha programs.","author_short":["Bougé, L.","Cachera, D."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/\"David Barner\"?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-12-03T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bougé"],"firstnames":["Luc"],"suffixes":[]},{"propositions":[],"lastnames":["Cachera"],"firstnames":["David"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/asap/BougeC97,\n added-at = {2015-12-03T00:00:00.000+0100},\n author = {Bougé, Luc and Cachera, David},\n biburl = {http://www.bibsonomy.org/bibtex/2c30889b77dca10468a1b40519e35af44/dblp},\n booktitle = {ASAP},\n crossref = {conf/asap/1997},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ASAP.1997.606825},\n interhash = {72152fcb0198bf285700a3eea6d947c5},\n intrahash = {c30889b77dca10468a1b40519e35af44},\n isbn = {0-8186-7958-1},\n keywords = {dblp},\n pages = {187-198},\n publisher = {IEEE Computer Society},\n timestamp = {2015-12-04T11:41:46.000+0100},\n title = {A logical framework to prove properties of Alpha programs.},\n url = {http://dblp.uni-trier.de/db/conf/asap/asap1997.html#BougeC97},\n year = 1997\n}\n\n","author_short":["Bougé, L.","Cachera, D."],"key":"conf/asap/BougeC97","id":"conf/asap/BougeC97","bibbaseid":"boug-cachera-alogicalframeworktoprovepropertiesofalphaprograms-1997","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ASAP.1997.606825","Paper":"http://dblp.uni-trier.de/db/conf/asap/asap1997.html#BougeC97"},"keyword":["dblp"],"downloads":0},"search_terms":["logical","framework","prove","properties","alpha","programs","bougé","cachera"],"keywords":["dblp"],"authorIDs":[],"dataSources":["q834SFRu5LXFafhq7"]}