Publication | Closed Access
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
13
Citations
0
References
1990
Year
EngineeringOperational SemanticsAutomated ReasoningObject-oriented ModelingLoco LanguageFormal MethodsSoftware EngineeringObject-oriented ProgrammingSemantic WebSemanticsSoftware AnalysisLogic ProgrammingProgramming Languages
No additional data available for this publication yet. Check back later!