Publication | Closed Access
A multi-tier semantics for Hop
23
Citations
17
References
2010
Year
Programming Language TheoryMulti-tier SemanticsEngineeringOperational SemanticsAutomated ReasoningFormal MethodsWell-founded SemanticsComputer ScienceSemantic WebSemanticsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1