Abstract Constraint Data Types

José Luiz Fiadeiro; Fernando Orejas

doi:10.1007/978-3-319-15545-6_12

Abstract Constraint Data Types

José Luiz Fiadeiro
, Fernando Orejas

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

182 Downloads (Pure)

Original language	English
Title of host publication	Software, Services, and Systems
Subtitle of host publication	Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Editors	Rocco de Nicola, Rolf Hennicker
Publisher	Springer
Chapter	12
Pages	155-170
Number of pages	16
ISBN (Electronic)	978-3-319-15545-6
ISBN (Print)	978-3-319-15544-9
DOIs	https://doi.org/10.1007/978-3-319-15545-6_12
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8950

Access to Document

10.1007/978-3-319-15545-6_12

Accepted ManuscriptAccepted author manuscript, 326 KB

Cite this

Fiadeiro, J. L., & Orejas, F. (2015). Abstract Constraint Data Types. In R. de Nicola, & R. Hennicker (Eds.), Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (pp. 155-170). (Lecture Notes in Computer Science; Vol. 8950). Springer. https://doi.org/10.1007/978-3-319-15545-6_12

@inproceedings{201e2d3137cd4d7581d67e5dd440eb29,

title = "Abstract Constraint Data Types",

author = "Fiadeiro, \{Jos{\'e} Luiz\} and Fernando Orejas",

year = "2015",

doi = "10.1007/978-3-319-15545-6\_12",

language = "English",

isbn = "978-3-319-15544-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "155--170",

editor = "\{de Nicola\}, Rocco and Rolf Hennicker",

booktitle = "Software, Services, and Systems",

}

Fiadeiro, JL & Orejas, F 2015, Abstract Constraint Data Types. in R de Nicola & R Hennicker (eds), Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science, vol. 8950, Springer, pp. 155-170. https://doi.org/10.1007/978-3-319-15545-6_12

Abstract Constraint Data Types. / Fiadeiro, José Luiz; Orejas, Fernando.
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco de Nicola; Rolf Hennicker. Springer, 2015. p. 155-170 (Lecture Notes in Computer Science; Vol. 8950).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Abstract Constraint Data Types

AU - Fiadeiro, José Luiz

AU - Orejas, Fernando

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-15545-6_12

DO - 10.1007/978-3-319-15545-6_12

M3 - Conference contribution

SN - 978-3-319-15544-9

T3 - Lecture Notes in Computer Science

SP - 155

EP - 170

BT - Software, Services, and Systems

A2 - de Nicola, Rocco

A2 - Hennicker, Rolf

PB - Springer

ER -