Madrid / San Francisco / Puebla / New York / F. Bueno / /
Company
ACM Press / /
Country
Sweden / United States / / /
Facility
Madrid Institute of Advanced Studies / Technical University of Madrid / IMDEA Software Institute / /
IndustryTerm
compile-time tool / legacy software / mainstream applications / rigorous static analysis tools / software development / much software / program analysis technology / static systems / embedded processors / realworld applications / /
Organization
Technical University of Madrid / Scientific Research Council / IMDEA Software Institute / School of Computer Science / Madrid Institute of Advanced Studies / Universidad Complutense de Madrid / Universidad Polit´ecnica de Madrid / /
Person
Mike Fagan / James Cheney / Robert Cartwright / Dan Grossman / Westley Weimer / Michael W. Hicks / George C. Necula / Trevor Jim / Davide Ancona / Scott McPeak / Jeremy Condit / Matthias Felleisen / Matthew Harren / Antonio Cuni / Lawrence C. Paulson / Gary T. Leavens / Leslie Lamport / Philip Wadler / Yanling Wang / Sam Tobin-Hochstadt / Nicholas D. Matsakis / Massimo Ancona / J. Gregory Morrisett / Francesco Logozzo / /
The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1