Back to Results
First PageMeta Content
Data types / Procedural programming languages / Program analysis / Compiler construction / Programming language implementation / C / Aliasing / Type system / Pointer / Software engineering / Computing / Computer programming


Some Assembly Required - Program Analysis of Embedded System Code
Add to Reading List

Document Date: 2008-10-07 01:51:34

Open Document

File Size: 205,53 KB

Share Result on Facebook

City

Washington / DC / Pasadena / London / /

Company

9th ACM SIGPLAN Intl / ARM Ltd / TASE / ACM Press / Intel / Input(v) AG / Lucent Technologies / Gimpel Software / Microsoft / /

Country

United States / United Kingdom / /

Currency

USD / /

Facility

University of NSW / Such stalls / /

IndustryTerm

prominent static analysis tools / even hardware/software interface rules / pushdown systems / kLoC2 software / software model checking / interaction with hardware / interrupt-driven software / application software / embedded real-time systems / trusted computing base / source code analysis tool / Model checking software / system software / algorithmic verification tools / model checking push-down systems / /

OperatingSystem

GNU / /

Organization

Australian Government / National Aeronautics and Space Administration / University of NSW / Australian Research Council / IEEE Computer Society / /

Person

Ralf Huuck / Patrick Jayet / Michel Lussenburg / Bernard Blackham / Felix Rauch / /

Position

general properties / writer / High-level Language Mapping General / ¬writer / /

Product

Goanna / L4 / /

ProgrammingLanguage

DC / C / C++ / /

Technology

Functional Programming / RAM / Linux / CMP / /

URL

http /

SocialTag