Constraint programming for type inference in flexible model-driven engineering

Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nikolaos orcid.org/0000-0002-8594-1912 et al. (2 more authors) (2017) Constraint programming for type inference in flexible model-driven engineering. Computer Languages, Systems and Structures. pp. 216-230. ISSN 1477-8424

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2016 The Authors

Keywords: Bottom-up modelling,Constraint programming,Example-driven modelling,Flexible modelling,Type inference
Dates:
  • Published: September 2017
  • Published (online): 24 December 2016
  • Accepted: 11 December 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 06 Jan 2017 10:44
Last Modified: 19 Mar 2025 00:07
Published Version: https://doi.org/10.1016/j.cl.2016.12.002
Status: Published
Refereed: Yes
Identification Number: 10.1016/j.cl.2016.12.002
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: 1_s2.0_S1477842416300288_main.pdf

Description: Constraint programming for type

Licence: CC-BY 2.5

Export

Statistics