Constraint programming for type inference in flexible model-driven engineering Conferences

authors

• Zolotas, Athanasios
• Clarisó, Robert
• Matragkas, Nicholas
• Kolovos, Dimitrios S
• Paige, Richard

status

• published 

publication date

• September 2017

has subject area

• 0803 Computer Software (FoR)
• 1702 Cognitive Sciences (FoR)
• Software Engineering (Science Metrix)

published in

• Computer Languages  Journal

presented at event

• 14th ACM SIGPLAN International Conference on Generative-Programming - Concepts and Experiences (GPCE) co-located with SPLASH Conference  Conference

keywords

• Bottom-up modelling
• Computer Science
• Computer Science, Software Engineering
• Constraint programming
• Example-driven modelling
• Flexible modelling
• Science & Technology
• Technology
• Type inference

Digital Object Identifier (DOI)

• 10.1016/j.cl.2016.12.002

start page

• 216

end page

• 230

volume

• 49