A Formal Executable Semantics of Orc using the K Framework
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | masterThesis |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://eprints.kfupm.edu.sa/id/eprint/139902/1/thesis_final_feb_goodquality_upload.pdf |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1864513385488449537 |
|---|---|
| author | unknown |
| author_facet | unknown |
| author_role | author |
| dc.creator.*.fl_str_mv | unknown |
| dc.date.*.fl_str_mv | 2020 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/139902/1/thesis_final_feb_goodquality_upload.pdf A Formal Executable Semantics of Orc using the K Framework. Masters thesis, King Fahd University of Petroleum and Minerals. |
| dc.language.none.fl_str_mv | en |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/139902/ |
| dc.rights.none.fl_str_mv | cc_by_nc_nd info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | A Formal Executable Semantics of Orc using the K Framework |
| dc.type.none.fl_str_mv | Thesis NonPeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | KFUPM_3354a77dcb726c305ce043a740e21cb5 |
| identifier_str_mv | A Formal Executable Semantics of Orc using the K Framework. Masters thesis, King Fahd University of Petroleum and Minerals. |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai::139902 |
| publishDate | 2020 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | cc_by_nc_nd |
| spelling | A Formal Executable Semantics of Orc using the K FrameworkComputerThesisNonPeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://eprints.kfupm.edu.sa/id/eprint/139902/1/thesis_final_feb_goodquality_upload.pdf A Formal Executable Semantics of Orc using the K Framework. Masters thesis, King Fahd University of Petroleum and Minerals. enhttps://eprints.kfupm.edu.sa/id/eprint/139902/cc_by_nc_ndinfo:eu-repo/semantics/openAccess2020unknownoai::1399022019-11-01T16:32:51Z |
| spellingShingle | A Formal Executable Semantics of Orc using the K Framework unknown Computer |
| status_str | publishedVersion |
| title | A Formal Executable Semantics of Orc using the K Framework |
| title_full | A Formal Executable Semantics of Orc using the K Framework |
| title_fullStr | A Formal Executable Semantics of Orc using the K Framework |
| title_full_unstemmed | A Formal Executable Semantics of Orc using the K Framework |
| title_short | A Formal Executable Semantics of Orc using the K Framework |
| title_sort | A Formal Executable Semantics of Orc using the K Framework |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/139902/1/thesis_final_feb_goodquality_upload.pdf |