Abstract constraint data types
Visualitza/Obre
10.1007/978-3-319-15545-6_12
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/76978
Tipus de documentArticle
Data publicació2015
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas. This paper is inspired by one of the domains that he explored thirty years or so after his first contributions when leading the FET Integrated Project SENSORIA [14]: the use of constraint systems to deal with non-functional requirements and preferences [13,8]. Following in his footsteps, we provide an extension of the traditional notion of algebraic data type specification to encompass soft-constraints as formalised in [1]. Finally, we relate this extension with institutions [6] and recent work on graded consequence in institutions [3].
CitacióFiadeiro, J., Orejas, F. Abstract constraint data types. "Lecture notes in computer science", 2015, p. 155-170.
ISSN0302-9743
Versió de l'editorhttp://link.springer.com/chapter/10.1007/978-3-319-15545-6_12
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
martinsFestschriftFiadeiroOrejas.pdf | 335,2Kb | Visualitza/Obre |