The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
An update calculus for expressing type-safe program updates
Science of Computer Programming
Data dependencies and program slicing: from syntax to abstract semantics
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A Graph-based Semantics For Object-oriented Programming Constructs
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |