Back to Results
First PageMeta Content
Software engineering / Logic in computer science / Assertion / Debugging / Abstract interpretation / Principles of Programming Languages / Verification / Software development process / Computer programming / Computing / Formal methods


Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´
Add to Reading List

Document Date: 2005-12-09 05:03:31

Open Document

File Size: 48,22 KB

Share Result on Facebook

City

M. Hermenegildo / Abstract Interpretation / Madrid / Puebla / /

Company

ACM Press / /

/

Facility

Complutense University of Madrid / /

IndustryTerm

fixpoint algorithms / code supplier / /

Organization

European Union / Complutense University of Madrid / /

Person

Elvira Albert / Manuel Hermenegildo / /

Position

Prince / Asturias Chair in Information Science and Technology / Unified Lattice Model for Static Analysis / /

ProvinceOrState

New Mexico / /

SocialTag