Publication | Closed Access
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.
49
Citations
0
References
1991
Year
Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningMechanical VerificationVerificationAbstract InterpretationFormal MethodsSoftware AnalysisAutomatic DifferentiationComputer ScienceProgram DerivationAbstract Unification AlgorithmFormal VerificationAliasing Analysis
No additional data available for this publication yet. Check back later!