Publication | Closed Access
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs
24
Citations
0
References
1994
Year
Programming Language TheoryRelational ModelDeclarative ProgrammingEngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsWell-founded SemanticsComputer ScienceSoftware AnalysisFunctional ProgrammingFormal Verification
No additional data available for this publication yet. Check back later!