Back to Results
First PageMeta Content
Cross-platform software / Procedural programming languages / Compilers / GNU Compiler Collection / C / Pattern matching / Model checking / Lint / Ada / Computing / Software engineering / Computer programming


A Portable Compiler-Integrated Approach to Permanent Checking Nic Volanschi mygcc [removed] Abstract
Add to Reading List

Document Date: 2006-10-04 13:36:51

Open Document

File Size: 104,70 KB

Share Result on Facebook

City

Washington / DC / Berlin / Atlanta / San Diego / /

Company

IBM / Industrial Critical Systems / Abraxas Software Inc. / IEEE Software / HP / RTL / SourceForge.net. / /

Country

Germany / /

/

Facility

Stanford University / /

IndustryTerm

give solutions / software projects / on-line database / precise checking algorithm / everyday development tools / intra-procedural tool / automated software engineering / software checking / standalone tools / search space strategies / software model checkers / everyday software practice / real system software / software development / software systems / present checking technology / software development method / proper tool / mature technology / sound software model checking / /

OperatingSystem

Linux / /

Organization

Stanford University / /

Position

driver / CodeSurfer Path Inspector / CodeSurfer http /

ProgrammingLanguage

Prolog / Java / Lisp / C / Xpath / Ada / XML / Fortran / C++ / /

ProvinceOrState

Georgia / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / IEEE Software / /

SportsLeague

Stanford University / /

Technology

XML / Linux / API / mature technology / operating system / Operating Systems / DSL / checking technology / matching algorithm / Java / CAV / present checking technology / BLAST checking algorithm / Athlon XP2800+ processor / checking algorithm / precise checking algorithm / /

URL

http /

SocialTag