Research on a New Abstract Programming Language for Generic Constraints

DOI

10.2991/aiie-15.2015.79How to use a DOI?

Keywords

abstract programming language; generic constraints; Apla; algebraic structures

Abstract

Generic programming has emerged as a paradigm for the development of highly reusable and safe software libraries. Generic constraint mechanism explicitly describes which concrete types can instantiate generic types. As it can detect and verify the validity of generic parameter instantiated, thereby guarantee dependability and safety of generic programming. Many modern programming languages support basic generic constraints. The paper reports on a comparison of facilities for generic constraints in five programming languages: C++, ConceptC++, Java, C#, named type constraints, and then presents a new abstract programming language: Apla, which supports for generic constraints base on algebraic structures. As language increasingly support generic constraints, it is necessary that language designers understand the constraint features to enable the effective use of generics and that their absence can cause difficulties for programmers.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Z.K. Zuo
AU  - C.J. Wang
AU  - H.H. Shi
AU  - Z. You
AU  - W.P. Xie
AU  - J.X. Lu
PY  - 2015/07
DA  - 2015/07
TI  - Research on a New Abstract Programming Language for Generic Constraints
BT  - Proceedings of the 2015 International Conference on Artificial Intelligence and Industrial Engineering
PB  - Atlantis Press
SP  - 283
EP  - 285
SN  - 1951-6851
UR  - https://doi.org/10.2991/aiie-15.2015.79
DO  - 10.2991/aiie-15.2015.79
ID  - Zuo2015/07
ER  -