Back to Results
First PageMeta Content
Data types / Variables / Source code / NuSMV / Pointer / C dynamic memory allocation / Data-flow analysis / Differential equation / Subroutine / Software engineering / Computing / Computer programming


SSVInterprocedural Pointer Analysis in Goanna J¨org Brauerb,2 Ralf Huucka Bastian Schlichb,2 a National ICT Australia Ltd. (NICTA) Locked Bag 6016, University of New South Wales
Add to Reading List

Document Date: 2011-08-18 01:13:28

Open Document

File Size: 1,76 MB

Share Result on Facebook

City

Aachen / /

Company

National ICT Australia / ICT Australia Ltd. / Vf / /

Country

Australia / /

Facility

RWTH Aachen University / University of New South Wales Sydney NSW / /

IndustryTerm

reduction algorithm / software developers / industrial-strength static analysis tool / equation systems / worklist algorithm / least solution / /

OperatingSystem

Linux / /

Organization

Australian Governments Department of Communications / Information Technology and the Arts / University of New South Wales / RWTH Aachen University / ICT Research Centre of Excellence / Australian Research Council / /

Position

NuSMV model for the interprocedural analysis / tackle / interprocedural model for pointer analysis / programmer / /

ProgrammingLanguage

J / C / C++ / /

Region

South Wales / /

Technology

reduction algorithm / Linux / Information Technology / worklist algorithm / presented algorithm / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag