Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Wilhelm, Reinhard Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 5 of 5 reviews    
  Compiler design: analysis and transformation
Wilhelm R., Seidl H., Hack S., Springer Publishing Company, Incorporated, New York, NY, 2012. 189 pp.  Type: Book (978-3-642175-47-3)

While the term “compiler design” in the title of this book covers a wide range of topics, from parsing and symbol table construction to type checking and code generation, the book is in fact quite specialized. It of...
...
Apr 30 2013  
  Compiler design: virtual machines
Wilhelm R., Seidl H., Springer Publishing Company, Incorporated, Berlin, Germany, 2011. 187 pp.  Type: Book (978-3-642149-08-5)

This book covers the design and implementation of virtual machines (VMs) (also called abstract machines) for four distinct programming language paradigms: imperative, functional, logic, and object-oriented. It is not for someone intere...
...
Dec 16 2011  
  Design for timing predictability
Thiele L., Wilhelm R. Real-Time Systems 28(2-3): 157-177, 2004.  Type: Article

Embedded microprocessor-based systems are found in a wide range of time-critical control application domains, such as automotive or avionic, and are often within strong life cycle total cost constraints, requiring the use of lower cost...
...
May 16 2005  
  Solving shape-analysis problems in languages with destructive updating
Sagiv M., Reps T., Wilhelm R. ACM Transactions on Programming Languages and Systems 20(1): 1-50, 1998.  Type: Article

An abstract interpretation of imperative programs mutating pointer-based structures is presented. This interpretation can reach conclusions such as that inserting into a circular list yields a circular list, while inserting into an acy...
...
Jul 1 1998  
  Table compression for tree automata
Börstler J., Möncke U., Wilhelm R. ACM Transactions on Programming Languages and Systems 13(3): 295-314, 1991.  Type: Article

The OPTRAN system is a tool for generating programs that transform attributed trees. It is useful for generating source-to-source translators and parts of compilers. OPTRAN uses finite-state bottom-up tree automata in the generated pro...
...
Feb 1 1993  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy