|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183002.0 |
| 008 |
230201s2002 xx r 000 0 eng d |
| 024 |
8 |
|
|a DIF-M7737
|b 7957
|z DIF002507
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Martínez López, Pablo Ernesto
|9 44785
|
| 245 |
1 |
0 |
|a Principal type specialisation
|
| 300 |
|
|
|a 1 archivo (232,3 kB)
|
| 500 |
|
|
|a Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
|
| 520 |
|
|
|a Type specialisation is an approach to program specialisation that works with both a program and its type to produce specialised versions of each. As it combines many powerful features, it appears to be a good framework for automatic program production, – despite the fact that it was designed originally to express optimal specialisation for interpreters written in typed languages. The original specification of type specialisation used a system of rules expressing it as a generalised type system, rather than the usual view of specialisation as generalised evaluation. That system, while powerful, has some weaknesses not widely recognized – the most important being the inability to express principal type specialisations (a principal specialisation is one that is "more general" than any other for a given specialisable term, and from which those can be obtained by a suitable notion of instantiation). This inability is a problem when extending type specialisation to deal with polymorphism or modules. This work presents a different formulation of the system specifying type specialisation capturing the notion of principal specialisation for a language with static constructions and polyvariance. It is a step forward in the study of type specialisation for polymorphic languages and lazy languages, and also permits modularity of specialisation, and better implementations.
|
| 534 |
|
|
|a ASIAN Symposium on Partial Evaluation and Semantics Based Program Manipulations, pp. 94-105. ACM Press, Sep. 2002.
|
| 700 |
1 |
|
|a Hughes, John
|9 45192
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A0103
|7 3
|8 BD
|9 76949
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o A0103
|r 2025-03-11 17:02:46
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1641
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 52386
|d 52386
|
