Back to Results
First PageMeta Content
Computing / Formal methods / Logic in computer science / Program analysis / Abstract interpretation / Formal verification / Abstraction / Type system / Type safety / Software engineering / Programming language theory / Type theory


Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety
Add to Reading List

Document Date: 2009-07-09 09:15:07

Open Document

File Size: 372,09 KB

Share Result on Facebook

City

Madrid / /

Company

Oracle / SP / /

Country

Spain / /

Facility

Complutense University of Madrid / Germ´an PUEBLA Technical University of Madrid / /

IndustryTerm

semantic operator / certificate infrastructure / fundamental tool / /

OperatingSystem

UNIX system / /

Organization

Complutense University of Madrid / Germ´an PUEBLA Technical University of Madrid / /

Person

ALBERT DSIC / Carrying Code / /

Position

Model / General / producer / Domain VCGen OK PRODUCER / abstract interpreter / specialized abstract interpreter / /

ProgrammingLanguage

D / Prolog / /

ProvinceOrState

New Mexico / /

PublishedMedium

the Ciao / /

Technology

alpha / UNIX system / s/n / ASCII / /

SocialTag