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

Authors/Creators:
Copyright, Publisher and Additional Information: © 2016 The Authors
Keywords: Bottom-up modelling,Constraint programming,Example-driven modelling,Flexible modelling,Type inference,Software,Computer Networks and Communications
Dates:
  • Published (online): 24 December 2016
  • Published: September 2017
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: 10 Apr 2021 23:09
Published Version: https://doi.org/10.1016/j.cl.2016.12.002
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.cl.2016.12.002
Related URLs:

Download

Filename: 1_s2.0_S1477842416300288_main.pdf

Description: Constraint programming for type

Licence: CC-BY 2.5

Share / Export

Statistics