ConceptioArchiveKfupm Eprints
Kfupm Eprintsmetadata only

A Formal Executable Semantics of Orc Using the K Framework

Zuhair, Alzuhaibi
Kfupm Eprints · Other
Open Source ↗Direct PDF ↓
computer
computer
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Related documents

Record · ID 374965
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.