The following pages link to Reinhard Wilhelm (Q598798):
Displaying 50 items.
- Computation and use of data flow information in optimizing compilers (Q598799) (← links)
- Attribute (re)evaluation in OPTRAN (Q1114424) (← links)
- A logic-based approach to program flow analysis (Q1130162) (← links)
- A modified tree-to-tree correction problem (Q1152712) (← links)
- Compiler construction. Theory, design, generation (Q1202021) (← links)
- Counter-one-pass features in one-pass compilation: A formalization using attribute grammars (Q1252033) (← links)
- Tree automata for code selection (Q1342507) (← links)
- Cache behavior prediction by abstract interpretation (Q1818075) (← links)
- Book review of: K. D. Lee, Foundations of programming languages (Q2065560) (← links)
- Timing predictability of cache replacement policies (Q2460197) (← links)
- Static Timing Analysis – What is Special? (Q2796217) (← links)
- (Q3092707) (← links)
- (Q3315030) (← links)
- (Q3332233) (← links)
- Toward Compact Abstractions for Processor Pipelines (Q3449634) (← links)
- (Q3484344) (← links)
- (Q3484369) (← links)
- Abstract Interpretation with Applications to Timing Validation (Q3512479) (← links)
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (Q3612006) (← links)
- Übersetzerbau (Q3630269) (← links)
- Polynomial Precise Interval Analysis Revisited (Q3644736) (← links)
- (Q3735046) (← links)
- Constructors for composed objects (Q3951512) (← links)
- (Q4070309) (← links)
- (Q4111086) (← links)
- (Q4138064) (← links)
- (Q4139634) (← links)
- (Q4241049) (← links)
- (Q4281624) (← links)
- (Q4337597) (← links)
- A functional description of T<sub>E</sub>X's formula layout (Q4376487) (← links)
- (Q4417895) (← links)
- (Q4471671) (← links)
- (Q4474148) (← links)
- A Space-Efficient Optimization of Call-by-Need (Q4725713) (← links)
- (Q4855367) (← links)
- (Q4904159) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Compiler Design (Q4930352) (← links)
- Cache behavior prediction by abstract interpretation (Q5030186) (← links)
- A semantics for procedure local heaps and its abstractions (Q5276154) (← links)
- Logical characterizations of heap abstractions (Q5277770) (← links)
- Übersetzerbau (Q5298116) (← links)
- Model Checking Software (Q5308362) (← links)
- Computer Aided Verification (Q5312904) (← links)
- Automated Technology for Verification and Analysis (Q5394191) (← links)
- Übersetzerbau (Q5851419) (← links)
- Compiler Design (Q5892586) (← links)
- Compiler Design (Q5894115) (← links)
- Formal Methods for Components and Objects (Q5897456) (← links)
