TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 42 records were found in 0.219 seconds
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis
PEPM, 98-107, 1992