Summer Reading Sale
 
 

Recently Viewed clear list


Original Essays | June 20, 2014

Lauren Owen: IMG The Other Vampire



It's a wild and thundery night. Inside a ramshackle old manor house, a beautiful young girl lies asleep in bed. At the window, a figure watches... Continue »

spacer
Qualifying orders ship free.
$108.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Compilers

Other titles in the Lecture Notes in Computer Science series:

Lecture Notes in Computer Science #2628: Advanced Symbolic Analysis for Compilers

by

Lecture Notes in Computer Science #2628: Advanced Symbolic Analysis for Compilers Cover

 

Synopses & Reviews

Publisher Comments:

This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data flow analysis, are at the center of the techniques and methods introduced. The authors develop solutions for a number of problems encountered in program analysis by using program contexts. The solutions proposed are efficient, versatile, unified, and more general than most existing methods. The authors' symbolic analysis framework is implemented as a prototype as part of the Vienna High Performance Compiler.

Product Details

ISBN:
9783540011859
Author:
Fahringer, Thomas
Publisher:
Springer
Author:
Scholz, Bernhard
Location:
Berlin, Heidelberg
Subject:
Compilers
Subject:
Computer algorithms
Subject:
Compilers (computer programs)
Subject:
Programming - Software Development
Subject:
Programming Languages - General
Subject:
Software Development & Engineering - General
Subject:
Software Engineering-Compilers
Subject:
abstract interpretation
Subject:
compiler optimization
Subject:
data flow representation
Subject:
program analysis
Subject:
program analysis algorithms
Subject:
program contexts
Subject:
program optimization
Subject:
program semantics
Subject:
symbolic analysis
Subject:
symbolic control
Subject:
symbolic program manipulation
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Software engineering
Subject:
Operating systems
Subject:
Logics and Meanings of Programs
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Operating systems (computers)
Subject:
Logic Design
Copyright:
Edition Description:
Book
Series:
Lecture notes in computer science ;
Series Volume:
n. 3842628
Publication Date:
20030729
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
141
Dimensions:
235 x 155 mm 480 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Software Engineering » Compilers
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Physics » General

Lecture Notes in Computer Science #2628: Advanced Symbolic Analysis for Compilers New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 141 pages Springer - English 9783540011859 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.