Variations on Constants - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540453857, 9783540453864

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

9. Complexity in the Non-atomic Scenario

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_9 ◽

2006 ◽

pp. 153-160

Author(s):

Markus Müller-Olm

Download Full-text

10. Conclusion

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_10 ◽

2006 ◽

pp. 161-164

Author(s):

Markus Müller-Olm

Download Full-text

A. A Primer on Constraint-Based Program Analysis

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_11 ◽

2006 ◽

pp. 165-171

Author(s):

Markus Müller-Olm

Keyword(s):

Program Analysis

Download Full-text

2. A Hierarchy of Constants

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_2 ◽

2006 ◽

pp. 13-29

Author(s):

Markus Müller-Olm

Download Full-text

8. Detecting Copy Constants and Eliminating Faint Code

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_8 ◽

2006 ◽

pp. 145-152

Author(s):

Markus Müller-Olm

Download Full-text

3. Deciding Constants by Effective Weakest Preconditions

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_3 ◽

2006 ◽

pp. 31-52

Author(s):

Markus Müller-Olm

Keyword(s):

Weakest Preconditions

Download Full-text

6. Non-atomic Execution

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_6 ◽

2006 ◽

pp. 101-109

Author(s):

Markus Müller-Olm

Download Full-text

4. Limits of Parallel Flow Analysis

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_4 ◽

2006 ◽

pp. 53-79

Author(s):

Markus Müller-Olm

Keyword(s):

Flow Analysis ◽

Parallel Flow

Download Full-text

1. Introduction

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_1 ◽

2006 ◽

pp. 1-11

Author(s):

Markus Müller-Olm

Download Full-text

7. Dependence Traces

Variations on Constants - Lecture Notes in Computer Science ◽

10.1007/11871743_7 ◽

2006 ◽

pp. 111-143

Author(s):

Markus Müller-Olm

Download Full-text

Variations on Constants - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

9. Complexity in the Non-atomic Scenario

10. Conclusion

A. A Primer on Constraint-Based Program Analysis

2. A Hierarchy of Constants

8. Detecting Copy Constants and Eliminating Faint Code

3. Deciding Constants by Effective Weakest Preconditions

6. Non-atomic Execution

4. Limits of Parallel Flow Analysis

1. Introduction

7. Dependence Traces

Variations on Constants - Lecture Notes in Computer Science
Latest Publications