Sano, Jin
- Implementing G-Machine in HyperLMNtal
2021/03/02 by Jin Sano, Sano, Jin · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies