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{Auerbach:1994:CSR,
author = "Joshua S. Auerbach and James R. Russell",
title = "The {Concert Signature Representation}: {IDL} as
Intermediate Language",
journal = j-SIGPLAN,
volume = "29",
number = "8",
pages = "1--12",
month = aug,
year = "1994",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Tue May 4 05:55:04 MDT 1999",
bibsource = "http://www.acm.org/pubs/toc/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/plan/185084/p1-auerbach/",
abstract = "In the Concert multilanguage distributed programming
system, interface specification is the responsibility
of programming languages, not separate IDL. However, an
IDL is still necessary in order to define equivalence
between declarations in different languages. A single
representation is also desirable internally to
economize on aspects of the implementation.
Consequently, Concert has an IDL as an intermediate
language, produced by compiler front-ends and not
normally manipulated by programmers. It is formally
separated into a {\em contract\/}, which defines
interoperability and an {\em endpoint modifier\/},
which captures the local choice of representation. Only
contracts are used to define interface equivalence. Our
choice of what kinds of information to put in the
contract was motivated by a desire to be minimal,
thereby enabling maximum feasible interoperability
between different expressions of the same abstraction
in the same or different languages.",
acknowledgement = ack-nhfb,
classification = "C6115 (Programming support); C6140D (High level
languages); C6180 (User interfaces)",
conflocation = "Portland, OR, USA; 20 Jan. 1994",
conftitle = "ACM Workshop on Interface Definition Languages",
corpsource = "IBM T.J. Watson Res. Centere, Yorktown Heights, NY,
USA",
keywords = "compiler front-ends; Concert; contract; design;
endpoint modifier; high level languages; IDL; interface
equivalence interface equivalence; interface
specification; interoperability; languages;
multilanguage distributed programming; signature
representation; theory; user interface management
systems",
sponsororg = "ACM",
subject = "{\bf D.2.2} Software, SOFTWARE ENGINEERING, Design
Tools and Techniques, IDL. {\bf D.1.3} Software,
PROGRAMMING TECHNIQUES, Concurrent Programming,
Distributed programming.",
treatment = "P Practical",
}
Related entries
- abstraction,
25(5)25,
25(6)1,
25(6)102,
25(6)127-1,
25(6)165,
26(5)25,
27(7)22,
27(7)249,
27(7)261,
28(1)40,
28(3)133,
28(3)351,
28(6)156,
28(7)229,
28(12)85,
29(5)17-1,
29(6)13,
29(8)84,
29(8)119,
29(9)81,
29(10)212,
29(10)272,
29(12)104,
30(3)71,
30(3)83,
30(8)11,
30(8)217,
31(10)214,
32(6)53,
32(6)53,
32(8)75,
34(1)337,
34(8)183
- aspect,
25(6)337,
28(2)21,
28(6)187,
28(6)237,
29(6)290,
30(8)19,
30(8)80-1,
30(11)88,
31(8)74,
31(8)74-1,
32(10)162
- C6115,
25(1)52,
29(6)196,
29(8)13,
29(8)22,
29(8)46,
29(9)44,
29(9)77,
29(10)164,
29(10)212,
29(10)229,
29(10)287,
29(10)355,
29(10)403,
29(11)263,
29(12)38,
29(12)73,
29(12)78,
29(12)94,
30(3)111,
30(3)119,
30(6)103,
30(6)291,
30(8)11,
30(8)48,
30(8)68,
30(8)80-1,
30(11)50,
30(11)99,
30(11)108,
30(11)117,
30(11)134,
30(11)146-1
- C6180,
25(10)237,
28(7)33,
29(4)41,
29(8)35,
29(12)104,
30(11)99
- capture,
27(7)116,
28(7)44,
29(5)27,
29(6)242,
29(6)242-1,
29(8)35,
29(11)132-1,
29(11)219,
29(11)232,
30(6)233
- choice,
27(7)300,
28(7)64,
29(6)159,
29(6)349,
29(6)349-1,
29(10)129,
29(10)164,
29(11)25,
29(11)76-1,
29(11)122,
30(3)71,
30(8)80-1,
30(11)79
- Consequently,
27(9)223,
29(11)110,
30(8)207
- contract,
25(10)169,
29(10)453,
31(10)268,
34(10)415
- D.1.3,
26(6)1,
26(6)130,
27(7)44,
27(7)55,
27(7)200,
28(6)100,
28(6)112,
28(6)248,
29(8)35,
29(8)119,
30(6)151,
30(6)196,
30(6)205,
30(6)218,
30(6)258,
30(11)134,
31(5)79,
31(9)50,
31(9)174,
31(9)186,
31(9)198,
31(9)244-1,
33(5)152-1,
33(5)212,
34(3)57
- D.2.2,
25(6)53,
25(6)127-1,
25(6)209,
25(6)223,
25(6)234,
25(6)257,
25(6)272,
27(7)82,
27(7)140,
27(7)224,
28(3)69,
28(3)133,
28(3)343,
28(6)26,
29(6)196,
29(8)13,
29(8)22,
29(8)35,
29(8)46,
29(8)59,
29(8)74,
29(8)94,
29(8)101,
29(8)111,
29(8)119,
30(3)1,
30(3)13,
30(3)83,
30(6)103,
30(6)291,
30(11)99,
30(11)124,
31(5)1,
31(5)12,
31(5)33,
31(5)44,
31(5)54,
31(5)79,
31(5)149,
31(5)206,
31(5)215,
31(5)226,
31(5)267,
31(5)278,
31(9)60,
32(5)206,
33(5)236,
33(5)301,
34(3)86
- declaration,
25(6)165,
25(6)223,
27(6)80,
27(7)249,
28(2)21,
29(10)440
- define,
25(6)137,
25(6)165,
25(6)311,
27(5)z,
27(7)116,
28(2)21,
28(3)363,
29(6)196,
29(8)101,
30(3)13,
30(3)23,
30(3)94,
30(6)47
- desirable,
25(6)1,
27(7)1,
28(3)299,
28(7)33,
29(11)252,
29(11)274,
30(6)233
- desire,
28(3)363,
29(8)59
- different,
25(4)59,
25(6)1,
25(6)296,
25(12)85,
27(7)1,
27(7)82,
27(7)152,
27(7)162,
27(7)188-1,
27(7)212,
27(7)311,
27(9)223,
27(12)20,
28(3)97,
28(3)177,
28(3)365,
28(3)367,
28(6)13,
28(6)90,
28(6)197,
28(6)278,
28(7)13,
28(7)179,
28(7)198,
29(6)36,
29(6)97,
29(6)266,
29(8)94,
29(8)101,
29(8)119,
29(11)25,
29(11)61,
29(11)76-1,
30(3)23,
30(3)111,
30(8)112,
30(8)199,
33(7)11,
33(7)67
- enabling,
27(7)128,
28(3)97,
29(10)427,
30(3)50,
30(8)217
- ends, front-,
27(7)82
- equivalence,
29(6)171
- expression,
25(6)283,
25(7)59,
26(1)85,
27(4)55,
27(7)162,
27(7)175,
28(1)68,
28(2)21,
28(3)359,
28(3)361,
28(5)49,
29(6)159,
29(9)9,
30(6)47,
30(6)233,
30(8)92,
30(8)112,
33(5)1,
33(9)77
- feasible,
27(7)1,
28(3)299,
28(6)166,
30(11)88,
33(11)252
- formally,
28(6)46
- front-ends,
27(7)82
- however,
25(6)66,
25(6)85-1,
25(6)234,
27(7)311,
28(3)351,
28(3)363,
28(6)68,
28(6)147,
28(7)54-1,
29(6)1,
29(6)85,
29(6)218,
29(6)302,
29(6)337,
29(6)337-1,
29(11)12,
29(11)51,
29(11)86,
29(11)110,
29(11)171,
29(11)183,
29(11)252,
29(11)274,
29(11)308,
29(11)328,
30(3)23,
30(3)62,
30(3)94,
30(6)279,
30(6)291,
30(6)301,
30(8)48,
30(8)217,
30(11)134,
33(7)67
- IDL,
29(8)94,
29(8)101,
32(5)44
- intermediate,
25(6)92,
28(6)166,
28(6)237,
28(7)102,
28(7)139,
29(6)36,
30(3)35,
30(3)62,
30(3)71,
30(3)83,
30(3)111,
30(3)119,
30(6)103,
31(10)83,
34(1)313,
34(9)183
- interoperability,
30(10)453
- kind,
25(6)137,
27(7)188-1,
28(6)68,
28(6)90,
28(7)13,
28(8)90,
29(6)206,
30(6)196,
33(4)53
- local,
25(7)11,
27(7)300,
27(9)98,
27(9)285,
28(6)126,
28(6)290,
28(7)149,
28(7)218,
28(7)239,
29(6)290,
29(7)21,
29(10)113,
29(11)2,
30(3)94,
30(8)102,
30(11)108,
33(5)269,
33(11)71,
33(11)92,
33(11)159,
33(11)218,
34(1)336,
34(7)20
- manipulated,
33(7)27
- maximum,
25(6)322,
28(7)208,
30(8)179
- minimal,
17(9)18,
23(1)17,
23(12)728,
23(12)728-1,
25(5)91,
25(6)272,
26(4)164,
27(9)248,
27(9)262,
27(11)33,
28(3)299,
28(6)156,
28(6)258,
28(7)73,
28(7)208,
29(11)242,
30(4)29,
30(5)11,
30(8)29,
32(5)320,
32(5)320-1,
33(1)40,
34(10)132
- motivated,
29(8)59
- necessary,
25(6)150,
27(7)94,
27(9)248,
28(3)299,
28(6)46,
28(6)126,
29(6)13,
29(6)206,
29(11)319,
30(6)186,
30(6)315,
30(8)156,
30(11)20-1,
30(11)134,
33(7)19,
33(7)27
- normally,
30(3)13
- only,
25(6)85-1,
25(6)234,
25(6)283,
27(7)22,
27(7)32,
27(7)82,
27(7)212,
27(7)322,
28(3)69,
28(6)147,
28(6)156,
28(6)197,
28(7)13,
28(7)44,
28(7)83,
28(7)229,
28(12)169,
29(6)1,
29(6)36,
29(6)49,
29(6)147,
29(6)196,
29(6)278,
29(6)302,
29(11)12,
29(11)171,
29(11)252,
29(11)274,
29(11)308,
29(11)319,
29(11)328,
30(3)23,
30(3)62,
30(6)13,
30(6)23,
30(6)47,
30(6)93,
30(6)139,
30(6)246,
30(8)92,
30(8)112,
30(8)179,
30(11)99,
30(11)125,
33(3)65,
33(7)59,
34(9)8,
34(9)8-1,
34(9)8-2,
34(11)1,
34(11)83
- order,
25(6)1,
25(6)16,
27(7)12,
27(7)116,
27(7)152,
28(3)299,
28(3)361,
28(6)156,
28(6)237,
28(6)278,
28(6)300,
28(7)119,
29(6)147,
29(6)349,
29(6)349-1,
29(7)15,
29(8)35,
29(8)59,
29(11)51,
29(11)86,
29(11)263,
30(3)71,
30(3)94,
30(6)116,
30(6)151,
30(6)174,
30(6)205,
30(6)233,
30(6)246,
30(8)1,
30(8)144,
30(8)189,
30(8)199,
30(11)20-1,
33(7)51
- produced,
25(6)85-1,
25(6)112,
25(6)165,
27(7)94,
27(7)273,
28(3)97,
28(3)177,
28(3)231,
28(3)299,
29(11)61,
30(3)13,
30(3)119,
30(11)1
- programmer,
25(6)102,
25(6)283,
27(6)10,
27(7)188-1,
27(8)14,
27(9)262,
27(9)285,
28(3)177,
28(6)1,
28(6)156,
28(6)177,
28(7)13,
28(7)33,
28(7)208,
28(7)239,
29(1)53,
30(4)13,
30(6)67,
30(8)11,
30(8)29,
30(8)179,
30(8)207,
30(8)217,
30(11)20-1,
30(11)99,
30(11)108,
31(1)6,
31(1)6-1,
31(3)5,
31(3)5-1,
31(3)6,
31(3)6-1,
31(3)8,
31(3)8-1,
33(7)59,
33(7)75,
34(1)338
- put,
25(6)283,
28(6)237,
28(7)239,
30(6)32,
30(6)67,
30(8)217
- responsibility,
29(10)301
- Russell, James R.,
29(8)59
- same,
25(4)51,
25(6)85-1,
25(6)165,
27(7)1,
27(7)32,
27(7)44,
27(7)82,
27(7)235,
28(3)69,
28(3)367,
28(6)126,
28(6)237,
28(6)268,
28(7)208,
28(7)218,
28(7)239,
29(6)36,
29(6)196,
29(11)25,
29(11)61,
29(11)171,
29(11)286,
29(11)297,
30(3)35,
30(6)1,
30(6)13,
30(6)205,
30(8)68,
30(8)102,
30(8)179,
30(8)199,
31(5)108
- separate,
25(6)1,
25(6)174,
28(3)353,
28(6)100,
29(6)13,
29(6)302,
29(8)119,
29(11)286,
30(3)103,
30(8)179,
30(10)124,
32(12)1
- separated,
28(3)359,
29(6)36,
30(11)50
- signature,
29(10)1,
29(10)244,
34(9)220
- single,
25(6)28,
25(6)272,
27(7)162,
27(7)188-1,
27(9)175,
27(9)213,
28(3)177,
28(3)299,
28(6)36,
28(6)78-1,
28(6)126,
28(7)13,
28(7)44,
28(7)239,
29(6)24,
29(6)97,
29(6)107,
29(6)171,
29(6)186,
29(6)196,
29(7)51,
29(11)38,
29(11)98,
29(11)319,
30(3)13,
30(3)50,
30(3)62,
30(3)119,
30(6)1,
30(6)13,
30(6)47,
30(6)67,
30(6)186,
30(8)48,
30(11)60,
33(5)97,
34(5)204
- still,
25(6)102,
27(7)32,
27(9)248,
28(8)1,
29(6)49,
29(11)51,
29(11)319,
30(3)111,
30(11)41,
30(11)79,
32(10)34,
33(7)19,
33(7)51
- thereby,
27(9)285,
29(11)86,
29(11)297
- was,
25(6)322,
26(6)145,
27(7)1,
27(7)44,
27(7)322,
27(12)20,
27(12)61,
28(3)1,
28(3)37,
28(3)53,
28(3)69,
28(3)97,
28(3)133,
28(3)201,
28(3)209,
28(3)299,
28(3)333,
28(3)345,
28(3)355,
28(3)367,
28(6)26,
28(8)90,
29(6)186,
29(6)257,
29(6)257-1,
29(8)94,
29(11)61,
29(11)328,
30(3)71,
30(4)13,
30(11)99,
33(7)35,
33(12)72,
34(2)1,
34(5)z,
34(5)z-1
- what,
6(4)30,
25(6)112,
25(6)311,
25(6)322,
27(7)1,
27(10)77,
27(10)91,
28(3)69,
28(7)187,
29(6)97,
30(6)151,
30(9)33,
30(9)33,
31(6)92,
33(7)19,
33(10)341,
34(2)26,
34(2)26-1,
34(5)50,
34(11)73