Publication | Closed Access
Object oriented programming in Concurrent Prolog
191
Citations
7
References
1983
Year
EngineeringProgram AnalysisAutomated ReasoningConcurrent PrologConcurrent ProgrammingConcurrency TheoryFormal MethodsSoftware AnalysisParallel ProgrammingComputer ScienceConcurrent SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1