Publication | Closed Access
A semantics-based framework for the abstract interpretation of Prolog
101
Citations
0
References
1987
Year
Unknown Venue
Formal SemanticsEngineeringAutomated ReasoningAbstract InterpretationFormal MethodsWell-founded SemanticsLanguage StudiesSemanticsLinguisticsLogic Programming
No additional data available for this publication yet. Check back later!