Back to Results
First PageMeta Content
Program analysis / Programming language theory / Setjmp.h / Dynamic programming language / Type system / Eval / Static program analysis / JavaScript / Programming language / Software engineering / Computing / Control flow


V viewpoints DOI:
Add to Reading List

Document Date: 2015-04-17 18:22:37

Open Document

File Size: 1,44 MB

Share Result on Facebook

Company

IBM / Samsung Research America / Coverity / GrammaTech / Google Inc. / Fortify / Microsoft / /

/

Facility

University of Colorado Boulder / University of Waterloo / Indian Institute of Technology Bombay / Tufts University / University of Alberta / Aarhus University / University of Athens / /

IndustryTerm

auto-complete systems / software engineering / analysis applications / wholeprogram analysis tool / software development tools / automated refactoring tools / verification tools / realistic whole-programa analysis tool / type systems / sound whole-program static analysis tool / /

Organization

Aarhus University / University of Colorado Boulder / University of Waterloo / Tufts University / University of Alberta / University of Athens / Indian Institute of Technology Bombay / /

Person

Samuel Z. Guyer / Benjamin Livshits / J. Nelson Amaral / Uday P. Khedker / Evan Chang / Anders Møller / Yannis Smaragdakis / /

Position

author / research scientist / professor / assistant professor / senior staff engineer / Moving Forward / associate professor / software engineer / /

ProgrammingLanguage

Java / C / JavaScript / C++ / /

ProvinceOrState

Alberta / /

Technology

Java / DOM / operating systems / /

SocialTag