The following pages link to Thomas Reps (Q1404294):
Displaying 50 items.
- (Q671679) (redirect page) (← links)
- Precise interprocedural dataflow analysis with applications to constant propagation (Q671681) (← links)
- Efficient comparison of program slices (Q758192) (← links)
- Algebraic program analysis (Q832153) (← links)
- Programmable program synthesis (Q832155) (← links)
- Synthesis with asymptotic resource bounds (Q832230) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Incremental evaluation for attribute grammars with unrestricted movement between tree modifications (Q1103412) (← links)
- Algebraic properties of program integration (Q1183556) (← links)
- On competitive on-line algorithms for the dynamic priority-ordering problem (Q1332747) (← links)
- On the computational complexity of dynamic graph problems (Q1351463) (← links)
- Computational divided differencing and divided-difference arithmetics (Q1404295) (← links)
- (Q1583349) (redirect page) (← links)
- Interconvertibility of a class of set constraints and context-free-language reachability (Q1583350) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Automated resource analysis with Coq proof objects (Q2164211) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- On the sequential nature of interprocedural program-analysis problems (Q2565054) (← links)
- Weighted pushdown systems and their application to interprocedural dataflow analysis (Q2568453) (← links)
- (Q2736362) (← links)
- (Q2763682) (← links)
- (Q2764121) (← links)
- (Q2765419) (← links)
- Automating Abstract Interpretation (Q2796033) (← links)
- View-augmented abstractions (Q2814101) (← links)
- Newtonian program analysis via tensor product (Q2828307) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- (Q3400631) (← links)
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- Language Strength Reduction (Q3522077) (← links)
- An Appreciation of the Work of Reinhard Wilhelm (Q3593062) (← links)
- Refinement-Based Verification for Possibly-Cyclic Lists (Q3593077) (← links)
- Finding Concurrency-Related Bugs Using Random Isolation (Q3600476) (← links)
- Labelled Clauses (Q3608781) (← links)
- Abstract Error Projection (Q3612003) (← links)
- Guided Static Analysis (Q3612009) (← links)
- Recency-Abstraction for Heap-Allocated Storage (Q3613388) (← links)
- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm (Q3613390) (← links)
- Simulating reachability using first-order logic with applications to verification of linked data structures (Q3636811) (← links)
- (Q3741011) (← links)
- Sublinear-space evaluation algorithms for attribute grammars (Q3771592) (← links)
- (Q4038670) (← links)
- (Q4040974) (← links)
- (Q4041055) (← links)
- (Q4411944) (← links)
- (Q4417795) (← links)
- (Q4417895) (← links)
- (Q4417906) (← links)
- (Q4535054) (← links)
