Back to Results
First PageMeta Content
Deduction / Logic in computer science / Proof theory / Geometric group theory / Field theory / Valuation / Sheaf / Contraction / Entailment / Abstract algebra / Logic / Mathematics


Automatic Certification of Heap Consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 2
Add to Reading List

Document Date: 2005-01-26 13:56:22

Open Document

File Size: 149,16 KB

Share Result on Facebook

Company

M and S / Olha Shkaravska2 1 2 Laboratory / /

Currency

pence / /

/

Facility

The University of Edinburgh / /

IndustryTerm

constructor applications / type systems / security architecture targeting devices / untrustworthy code producer / feasible solution / proof search / insertion sort algorithm / /

Organization

MRG’s PCC / Institut f¨ur Informatik / University of Edinburgh / /

Position

code producer / untrustworthy code producer / programmer / /

ProgrammingLanguage

Java bytecode / Java / L / /

RadioStation

Core / /

Technology

Virtual Machine / dom / insertion sort algorithm / Java / /

SocialTag