Some ideas on data types in high-level languages
Communications of the ACM
The treatment of data types in EL1
Communications of the ACM
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Data Types for Very High Level Programming Languages
Data Types for Very High Level Programming Languages
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Units of measure as a data attribute
Computer Languages
Hi-index | 0.00 |
Modern programming languages allow the user to define new data types. This increases the desirability of having generic procedures as they reduce programming effort and program size, allow for portability across types and are a means of abstraction. A simple but powerful notation for incorporating generic procedures in a language is proposed along with an efficient macro-like compile time technique for implementing them. Unfortunately, pathological recursive procedure call sequences create an undecidability problem for the suggested implementation technique. A proof is given for the above undecidability problem and practical remedies for avoiding it are suggested.