Back to Results
First PageMeta Content
Cybernetics / Compiler optimizations / Loop invariant / Function / Control theory / For loop / Loop optimization / Algorithm / Mathematics / Control flow / Computing


A Semantic Recognizer Infrastructure for Computing Loop Behavior Ali Mili  
Add to Reading List

Document Date: 2006-09-05 07:46:39

Open Document

File Size: 97,79 KB

Share Result on Facebook

City

Boston / Berlin / Pittsburgh / Los Alamitos / London / Timisoara / /

Company

IEEE Computer / IEEE Computer Society Press / Advanced Society Press / Intel / /

Country

Romania / United Kingdom / /

Currency

USD / /

/

Facility

Carnegie Mellon University / Software Engineering Institute / Prentice Hall / Software Engineering Institute New Jersey Institute of Technology Carnegie Mellon University Newark NJ / College of Computer Science / /

IndustryTerm

software engineering / software comprehension / software engineering life cycle / software engineers / software en / software engineering representations / search algorithm / extraction algorithm / generation software / recognizer infrastructure / loop extraction algorithm / software behavior / loop extraction machinery / semantic recognizer infrastructure / theorem proving technology / function extraction machinery / computing / be automated using theorem proving technology / /

Organization

Software Engineering Institute New Jersey Institute of Technology Carnegie Mellon University Newark NJ / Pittsburgh PA / Software Engineering Institute / College of Computer Science / Department of Computer Science / Carnegie Mellon University / /

Person

Gwendolyn H. Walton / Ali Mili / Jean Raymon Gagne / Alan R Hevner / Phillip Hausler / Jules Desharnais / Richard C Linger / Bernhard Scholz / Mark Pleszkoch / Rosann W Collins / Alan Hevner / Stacy Prowell / Mark G Pleszkoch / E. Rodriguez Carbonnell / Addison Wesley / Utpal Banerjee / Stacy J. Prowell / Thomas Fahringer / Deepak Kapur / Luanne Burns / Tim Daly / /

/

Position

editor / General / /

Product

Sangean SR3 Radio / /

ProgrammingLanguage

Z notation / /

ProvinceOrState

Hawaii / Pennsylvania / California / Massachusetts / /

PublishedMedium

Communications of the ACM / Lecture Notes in Computer Science / /

Technology

search algorithm / loop extraction algorithm / extraction algorithm / main algorithms / technology of function extraction / using theorem proving technology / Jantraction technology / /

SocialTag