Advanced search
Start date
Betweenand
Related content
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

The Green language type system

Full text
Author(s):
Guimares, Jose de Oliveira [1]
Total Authors: 1
Affiliation:
[1] Univ Fed Sao Carlos, Dept Computacao, BR-13565905 Sao Carlos, SP - Brazil
Total Affiliations: 1
Document type: Journal article
Source: COMPUTER LANGUAGES SYSTEMS & STRUCTURES; v. 35, n. 4, p. 435-447, DEC 2009.
Web of Science Citations: 1
Abstract

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, Popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses. (C) 2008 Elsevier Ltd. All rights reserved. (AU)