Work

Sorted collection and map types for OCL

Year: 2025

Type: conference-paper

Abstract: The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corresponding types can now be found in most modern programming languages such as Java, C# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types. We show that these types have strong semantic properties and that their use can improve the efficiency of generated code.

Source: Research Portal (King's College London)

Authors: Lano, Kevin; id_orcid 0000-0002-9706-1410, Rahman, Zishan; id_orcid 0009-0004-5587-7069

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7113574413

FWCI:

Cites:

Cited by:

Related to: