The Green language type system

Autor(es)

Guimares, Jose de Oliveira ^[1]

Afiliação do(s) autor(es)

^[1] Univ Fed Sao Carlos, Dept Computacao, BR-13565905 Sao Carlos, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: COMPUTER LANGUAGES SYSTEMS & STRUCTURES; v. 35, n. 4, p. 435-447, DEC 2009.
• Citações Web of Science: 1

Resumo

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)

• Processo FAPESP: 99/13006-8 - Implementacao de um compilador para green.
• Beneficiário: José de Oliveira Guimarães
• Modalidade de apoio: Auxílio à Pesquisa - Regular