Mechanized Operational Semantics of WSL

Authors:
Xingyuan Zhang;Malcolm Munro;Mark Harman;Lin Hu
Affiliations:
-;-;-;-
Venue:
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
Year:
2002

Citing 0
Cited 3

Syntax-Directed Amorphous Slicing

Automated Software Engineering
Pigs from sausages? Reengineering from assembler to C via FermaT transformations

Science of Computer Programming - Special issue on program transformation
Slicing as a program transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper the enhancements to an existing production-quality compiler to facilitate the collection of complexity metrics as an integral part of the compilation and build process are described. An object oriented programming language meta-model is ...