Towards a K Semantics for OCL
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 2nd International Workshop on the K Framework and its Applications (K 2011) |
| Author | Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad |
| Maintainer | CCSD |
| Last Updated | May 5, 2026, 09:50 (UTC) |
| Created | May 5, 2026, 09:50 (UTC) |
| Identifier | hal-00998923 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Department of Compter Science ; University of Iasi |
| coverage | Sinaia, Romania |
| creator | Arusoaie, Andrei |
| date | 2011-08-05T00:00:00 |
| harvest_object_id | 8b68bb9f-48b4-45b8-af63-fa178b9a8ea3 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-03-13T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2014.05.004 |
| set_spec | type:COMM |