TY - GEN
T1 - Computational logical frameworks and generic program analysis technologies
AU - Meseguer, José
AU - Rosu, Grigore
PY - 2008
Y1 - 2008
N2 - The technologies developed to solve the verifying compiler grand challenge should be generic, that is, not tied to a particular language but widely applicable to many languages. Such technologies should also be semantics-based, that is, based on a rigorous formal semantics of the languages.
AB - The technologies developed to solve the verifying compiler grand challenge should be generic, that is, not tied to a particular language but widely applicable to many languages. Such technologies should also be semantics-based, that is, based on a rigorous formal semantics of the languages.
UR - http://www.scopus.com/inward/record.url?scp=84885602142&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885602142&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69149-5_28
DO - 10.1007/978-3-540-69149-5_28
M3 - Conference contribution
AN - SCOPUS:84885602142
SN - 9783540691471
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 256
EP - 267
BT - Verified Software
T2 - 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005
Y2 - 10 October 2005 through 13 October 2005
ER -