Last update: Thu Apr 12 03:37:15 MDT 2012
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Adams:1993:FDR,
author = "Norman Adams and Pavel Curtis and Mike Spreitzer",
title = "First-class data-type representations in {SCHEME}
{XEROX}",
journal = j-SIGPLAN,
volume = "28",
number = "6",
pages = "139--146",
month = jun,
year = "1993",
CODEN = "SINODQ",
ISBN = "0-89791-598-4",
ISBN-13 = "978-0-89791-598-4",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu May 13 12:37:27 MDT 1999",
bibsource = "http://www.acm.org/pubs/contents/proceedings/pldi/155090/index.html",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/155090/p139-adams/",
abstract = "In most programming language implementations, the
compiler has detailed knowledge of the representations
of and operations on primitive data typed and data-type
constructors. In SCHEMEXEROX, this knowledge is almost
entirely external to the compiler, in ordinary,
procedural user code. The primitive representations and
operations are embodied in first-class ``representation
types'' that are constructed and implemented in an
abstract and high-level fashion. Despite this
abstractness, a few generally-useful optimizing
transformations are sufficient to allow the SCHEMEXEROX
compiler to generate efficient code for the primitive
operations, essentially as good as could be achieved
using more contorted, traditional techniques.",
acknowledgement = ack-nhfb,
affiliation = "Xerox, Pal Alto Res Center, CA, USA",
annote = "Published as part of the Proceedings of PLDI'93.",
classification = "C6110J (Object-oriented programming); C6120 (File
organisation); C6140D (High level languages); C6150C
(Compilers, interpreters and other processors)",
confdate = "23-25 June 1993",
conflocation = "Albuquerque, NM, USA",
confsponsor = "ACM",
keywords = "Abstractness; algorithms; Compiler; Data-type
constructors; Data-type representations; languages;
Optimizing transformations; Primitive data types;
Primitive operations; Primitive representations;
Procedural user code; Programming language
implementations; Representation types; SCHEME-XEROX",
subject = "{\bf D.3.3} Software, PROGRAMMING LANGUAGES, Language
Constructs and Features, Data types and structures.
{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
Processors, Optimization. {\bf F.3.3} Theory of
Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies
of Program Constructs, Type structure. {\bf D.3.4}
Software, PROGRAMMING LANGUAGES, Processors,
Compilers.",
thesaurus = "Abstract data types; High level languages; Program
compilers",
}
Related entries
- achieved,
26(6)145,
27(7)68,
27(7)322,
28(6)1,
28(6)217,
29(11)183,
29(11)242,
30(3)23,
30(8)48,
30(8)92,
30(11)60,
33(7)27
- Adams, Norman,
28(6)139
- allow,
25(4)20,
25(4)51,
25(6)66,
25(6)85-1,
25(6)272,
25(6)296,
26(6)145,
27(7)94,
27(7)116,
27(7)140,
27(7)162,
27(7)235,
27(9)238,
28(3)363,
28(6)207-1,
28(6)290,
28(7)92,
28(7)102,
28(7)208,
28(7)239,
29(6)73,
29(6)135,
29(6)242,
29(6)242-1,
29(8)35,
29(8)119,
29(11)25,
29(11)132-1,
29(11)263,
29(11)274,
29(11)319,
30(3)50,
30(3)94,
30(4)13,
30(6)196,
30(6)246,
30(8)1,
30(8)102,
30(8)217,
30(11)70,
30(11)79
- almost,
25(6)311,
27(7)44,
27(7)322,
28(3)69,
29(6)97,
30(3)62
- C6110J,
28(3)69,
28(3)133,
28(3)271,
28(3)349,
28(3)351,
28(3)367,
28(7)23,
28(7)218,
28(7)249,
29(1)46,
29(2)19,
29(5)17-1,
29(5)31,
29(6)326,
29(7)15,
29(7)21,
29(7)29,
29(7)61,
29(8)74,
29(8)119,
29(9)9,
29(9)17,
29(9)105,
29(9)135,
29(10)1,
29(10)16,
29(10)31,
29(10)51,
29(10)85,
29(10)113,
29(10)153,
29(10)164,
29(10)176,
29(10)191,
29(10)205,
29(10)212,
29(10)229,
29(10)244,
29(10)259,
29(10)272,
29(10)287,
29(10)301,
29(10)324,
29(10)355,
29(10)373,
29(10)403,
29(10)427,
29(10)440,
29(10)453,
29(12)38,
29(12)48,
29(12)66,
29(12)78,
29(12)94,
29(12)104,
30(2)12,
30(3)35,
30(3)111,
30(3)119,
30(6)93,
30(6)103,
30(8)11,
30(8)48,
30(11)31,
30(11)50
- class, First-,
28(6)139,
28(6)166,
28(7)198,
31(6)157
- class, first-,
25(6)66,
27(7)55,
28(6)166,
28(7)198,
29(5)27,
31(6)251
- constructed,
25(6)272,
27(7)82,
28(3)363,
28(6)78-1,
30(3)23,
30(6)32,
30(8)19
- constructor,
27(6)29,
28(4)67,
29(1)46,
29(12)94,
31(2)4,
31(2)4-1
- could,
25(6)78,
25(6)92,
28(3)69,
28(3)299,
28(3)355,
28(7)92,
30(3)50,
30(4)13,
30(6)103,
33(1)30,
33(2)34,
33(6)27,
33(6)27,
33(11)252
- Curtis, Pavel,
28(6)139
- data-type,
28(6)139
- despite,
25(6)283,
27(7)82,
27(7)322,
29(11)51,
29(11)86,
30(8)179,
30(8)217,
33(7)75
- detailed,
25(4)59,
28(3)149,
29(6)73,
29(11)38,
29(11)274,
29(11)286,
30(11)70
- entirely,
27(7)1,
27(7)55,
28(3)231
- essentially,
25(6)102,
28(3)299,
29(6)349,
29(6)349-1,
30(6)233,
30(6)301
- external,
24(3)34,
27(9)187,
29(6)24
- fashion,
25(6)283
- few,
25(6)92,
25(6)112,
25(6)165,
27(7)82,
28(3)209,
28(3)231,
29(6)36,
29(6)337,
29(6)337-1,
29(11)232,
29(11)242,
29(11)328,
30(6)186,
30(8)80-1,
33(7)51
- first-class,
25(6)66,
27(7)55,
28(6)139,
28(6)166,
28(7)198,
29(5)27,
31(6)157,
31(6)251
- generate,
25(6)9,
25(6)311,
25(12)85,
27(7)1,
27(7)140,
27(7)261,
28(6)237,
28(7)112,
28(7)149,
29(6)49,
29(6)135,
29(6)242,
29(6)242-1,
29(8)94,
30(8)39,
30(8)48,
30(11)41,
30(11)134,
31(5)108,
34(5)128
- good,
25(6)53,
25(6)85-1,
25(6)174,
27(9)248,
27(12)61,
28(3)347,
28(6)177,
28(6)278,
28(7)13,
28(7)112,
28(11)9,
28(11)9-1,
29(6)290,
29(10)145,
29(11)208,
29(11)219,
30(3)119,
30(6)130,
30(8)80-1,
30(8)134,
30(8)199,
30(11)7,
32(3)27,
32(3)27-1,
33(4)34,
33(7)59
- high-level,
25(3)156,
27(7)55,
27(7)116,
27(11)59,
28(3)359,
28(7)44,
28(7)112,
28(7)119,
28(7)119-1,
28(7)239,
29(8)59,
29(10)176,
30(3)119,
30(6)1,
30(8)11,
30(8)19,
30(8)80,
30(8)80-1,
30(11)50,
32(5)109,
33(10)271
- implemented,
25(1)59,
25(6)16,
25(6)78,
26(6)145,
26(6)219,
27(1)95,
27(7)44,
27(7)82,
27(7)106,
27(7)140,
27(7)152,
27(7)212,
27(7)235,
27(7)322,
27(9)274,
27(10)127,
28(3)1,
28(3)133,
28(3)357,
28(6)1,
28(6)26,
28(6)217,
28(6)237,
28(6)258,
28(7)13,
28(7)54-1,
28(7)112,
28(7)179,
28(12)169,
29(6)36,
29(6)107,
29(6)135,
29(6)186,
29(6)196,
29(6)290,
29(6)349,
29(6)349-1,
29(8)74,
29(8)94,
29(10)373,
29(11)2,
29(11)132-1,
29(11)252,
30(6)1,
30(6)67,
30(6)103,
30(6)116,
30(6)139,
30(6)270,
30(8)11,
30(8)29,
30(8)39,
30(8)48,
30(8)134,
30(8)144,
30(8)156,
30(11)41,
30(11)88,
30(11)134,
33(7)19
- knowledge,
25(6)165,
26(11)212,
27(7)32,
27(7)55,
29(6)278,
29(11)252,
31(10)198
- level, high-,
25(3)156,
27(7)55,
27(7)116,
27(11)59,
28(3)359,
28(7)44,
28(7)112,
28(7)119,
28(7)119-1,
28(7)239,
29(8)59,
29(10)176,
30(3)119,
30(6)1,
30(8)11,
30(8)19,
30(8)80-1,
30(11)50
- most,
25(4)73,
25(6)53,
25(6)165,
25(6)189,
25(6)209,
25(6)337,
26(4)290,
27(7)1,
27(7)94,
27(7)152,
27(7)300,
28(3)69,
28(3)333,
28(3)347,
28(6)36,
28(6)90,
28(6)177,
28(6)197,
28(7)13,
28(7)54-1,
28(7)149,
28(7)208,
28(8)90,
29(6)61,
29(6)85,
29(6)107,
29(6)186,
29(8)13,
29(11)38,
29(11)51,
29(11)274,
29(11)328,
30(3)71,
30(3)119,
30(8)179,
30(11)20-1
- optimizing,
25(1)17,
25(3)137,
25(5)53,
25(6)53,
25(6)102,
25(6)150,
25(6)272,
25(6)272-1,
25(6)337,
26(1)109,
26(6)30,
26(6)219,
26(9)178,
27(7)249,
27(7)322,
27(10)110,
27(10)110-1,
28(6)100,
29(4)41,
29(6)73,
29(6)186,
29(6)218,
29(6)230,
29(6)278,
29(6)326,
29(10)244,
29(10)244,
29(11)252,
29(12)31,
30(3)23,
30(3)50,
30(3)71,
30(6)93,
30(6)196,
30(6)246,
30(8)134,
30(8)166,
31(5)137,
31(5)181,
31(10)51,
31(10)83,
32(5)44,
32(7)100,
32(8)315,
32(12)116,
33(5)291,
33(7)27,
33(7)75,
33(8)40,
34(7)1
- ordinary,
27(7)44,
30(8)48,
31(9)105
- PLDI'93.,
28(6)1,
28(6)13,
28(6)26,
28(6)36,
28(6)46,
28(6)56,
28(6)68,
28(6)78-1,
28(6)90,
28(6)100,
28(6)112,
28(6)126,
28(6)147,
28(6)156,
28(6)166,
28(6)177,
28(6)187,
28(6)197,
28(6)207-1,
28(6)217,
28(6)227,
28(6)237,
28(6)248,
28(6)258,
28(6)268,
28(6)278,
28(6)290,
28(6)300
- primitive,
25(5)29,
25(6)66,
25(6)337,
26(4)96,
26(6)241,
26(11)230,
27(5)z,
27(7)12,
28(3)363,
28(6)78-1,
28(6)147,
28(7)129,
28(7)229,
29(6)171,
29(6)266,
29(6)302,
30(6)32,
30(6)47,
30(6)56,
30(6)130,
30(6)205,
30(6)291,
30(8)11,
30(8)123,
30(8)217,
30(11)31,
31(5)99,
32(6)23,
32(6)23,
32(7)112,
32(7)112,
33(5)1,
33(5)72,
33(5)85-1,
33(5)97,
33(5)174
- procedural,
28(3)343,
28(3)349
- SCHEME,
25(6)66,
27(7)55,
28(3)231,
28(6)147,
28(6)207-1,
29(6)206,
33(5)174,
33(5)236,
34(3)1
- SCHEMEXEROX,
28(6)139
- Spreitzer, Mike,
28(6)139
- sufficient,
25(6)189,
28(3)299,
30(6)1,
30(7)52,
30(7)52,
30(8)39
- traditional,
27(7)12,
28(3)177,
28(6)68,
28(6)100,
28(6)278,
29(1)53,
29(6)206,
29(6)302,
29(6)349,
29(6)349-1,
29(11)2,
29(11)12,
29(11)76-1,
29(11)319,
30(6)151,
30(6)258,
30(8)217,
30(11)1,
30(11)60,
30(11)70
- type, data-,
28(6)139
- typed,
25(6)127-1,
26(6)165,
26(6)165-1,
26(9)142,
27(7)273,
27(10)91,
28(3)351,
28(3)359,
28(10)231,
29(9)105,
29(10)191,
30(6)116,
32(8)11,
34(1)141,
34(1)313,
34(9)183
- XEROX,
28(3)69