Michael Mehlich

According to our database, Michael Mehlich authored at least 9 papers between 1996 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

CheckPointer - A C Memory Access Validator.

Michael Mehlich

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

2007

Case study: Re-engineering C++ component models via automatic program transformation.

Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke

Inf. Softw. Technol., 2007

2005

Reengineering C++ Component Models via Automatic Program Transformation.

Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

2004

Invited application paper: re-engineering C++ components via automatic program transformation.

Robert L. Akers, Ira D. Baxter, Michael Mehlich

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Program transformations for re-engineering C++ components [OOPSLA/GPCE].

Robert L. Akers, Ira D. Baxter, Michael Mehlich

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

DMS®: Program Transformations for Practical Scalable Software Evolution.

Ira D. Baxter, Christopher W. Pidgeon, Michael Mehlich

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2001

Preprocessor Conditional Removal by Simple Partial Evaluation.

Ira D. Baxter, Michael Mehlich

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

2000

Reverse engineering is reverse forward engineering.

Ira D. Baxter, Michael Mehlich

Sci. Comput. Program., 2000

1996

Implementation of combinator specifications: notions and proving techniques.

Michael Mehlich

PhD thesis, 1996