About Bonchi Filippo
About University of Pisa, Pisa, Italy
About Ganty Pierre
About IMDEA Software Institute, Pozuelo de Alarcon, Spain
About Giacobazzi Roberto
About IMDEA Software Institute, Pozuelo de Alarcon, Spain and University of Verona, Verona, Italy
About Pavlovic Dusko
About University of Hawaii, Honolulu, Hawaii, USA
About ACM Proceedings
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About semantics
About sound
About invariant
About completeness
About abstract interpretation
About soundness
About abstract interpretation
About coinduction up-to
About complete abstract domains
About cross-fertilization
About sound up-to techniques
About Language processors
About Computer system development
About 抽象