Entry Yelland:1989:FST from compj.bib
Last update: Sun Nov 30 02:31:30 MST 2003
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{Yelland:1989:FST,
author = "P. M. Yelland",
title = "First steps towards fully abstract semantics for
object-oriented languages",
journal = j-COMP-J,
volume = "32",
number = "4",
pages = "290--296",
month = aug,
year = "1989",
CODEN = "CMPJA6",
ISSN = "0010-4620",
MRclass = "68Q55 (68N15)",
MRnumber = "90j:68029",
bibdate = "Tue Mar 25 13:51:56 MST 1997",
bibsource = "Compendex database;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/290.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/291.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/292.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/293.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/294.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/295.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_04/tiff/296.tif",
acknowledgement = ack-nhfb,
affiliation = "Comput. Lab., Cambridge Univ., UK",
affiliationaddress = "Cambridge, Engl",
classcodes = "C6140D (High level languages); C6110 (Systems analysis
and programming); C4210 (Formal logic)",
classification = "723; C4210 (Formal logic); C6110 (Systems analysis
and programming); C6140D (High level languages)",
conference = "European Conference on Object-Oriented Programming
(ECOOP '89)",
corpsource = "Comput. Lab., Cambridge Univ., UK",
keywords = "Abstract Semantics; Computer Metatheory--Programming
Theory; Denotational Models; Denotational models;
denotational models; formal languages; Fully abstract
semantics; fully abstract semantics; high level
languages; object-oriented; Object-Oriented Languages;
Object-oriented languages; object-oriented languages;
programming; Programming Language C; Projections;
projections; Smalltalk-80; state-; State-transition
graphs, Computer Programming Languages; Theory;
transition graphs; Visible behaviour; visible
behaviour",
meetingaddress = "Nottingham, Engl",
meetingdate = "Jul 10--14 1989",
meetingdate2 = "07/10--14/89",
thesaurus = "Formal languages; High level languages;
Object-oriented programming",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- 68N15,
30(5)437,
31(3)229,
33(4)330,
33(6)494,
33(6)518,
36(5)473,
36(7)631
- 68Q55,
27(3)233,
28(2)162,
30(6)498,
33(6)570,
35(5)514
- abstract,
15(1)37,
18(2)164,
22(3)240,
23(3)243,
24(4)308,
25(1)17,
25(2)161,
26(4)289,
27(2)127,
28(1)1,
28(1)59,
28(2)154,
28(3)298,
29(3)261,
29(4)340,
31(2)110,
31(2)165,
31(3)193,
31(4)313,
31(6)570,
32(2)127,
32(4)290,
32(4)312,
32(5)413,
32(5)461,
32(6)494,
33(1)40,
34(1)52,
34(2)186,
34(4)290,
34(6)z-1,
35(2)138,
35(2)170,
35(5)468,
36(1)4,
36(4)387,
36(8)712,
38(3)181,
38(6)457,
38(8)670,
38(10)785,
39(1)20,
39(1)52,
39(2)145,
39(7)598
- behaviour,
13(1)48,
13(4)363,
15(4)350,
17(2)148,
20(1)56,
20(4)308,
26(2)154,
27(3)238,
28(1)9,
28(3)257,
29(1)47,
30(2)168,
30(5)437,
32(1)68,
32(4)297,
32(5)413,
32(6)541,
33(5)471,
34(1)52,
34(1)80,
35(3)221,
36(1)4,
37(4)289,
37(5)385,
38(1)17,
38(4)271,
40(10)617,
42(2)112
- C,
6(3)295,
14(1)107,
14(4)377,
16(3)225,
17(2)186,
17(2)192,
29(3)201,
29(6)527,
30(2)157,
31(3)285,
32(2)152,
33(3)194,
34(4)331,
35(4)332,
39(7)577,
42(4)327
- C4210,
31(6)510,
31(6)525,
31(6)564,
32(1)36,
32(1)91,
32(5)399,
32(5)445,
33(1)40,
33(2)164,
33(4)375,
33(6)570,
34(1)2,
34(1)16,
34(1)20,
34(1)34,
34(1)42,
34(1)64,
34(4)380,
34(6)z-1,
34(6)z-3,
34(6)z-10,
35(1)30,
35(2)129,
35(3)208,
35(3)233,
35(4)376,
35(5)424,
35(5)431,
35(5)441,
35(5)451,
35(5)468,
35(6)574,
35(6)600,
36(2)127,
36(4)373,
36(4)387,
36(5)400,
36(5)409,
36(5)419,
37(2)114,
37(4)233,
37(4)243,
37(4)259,
37(4)269,
37(4)279,
37(5)385,
37(7)576,
38(1)43,
38(2)101,
38(2)111,
38(2)121,
38(2)152,
38(2)162,
38(2)171
- C6110,
31(5)391,
31(5)420,
31(5)426,
31(5)431,
31(6)481,
31(6)531,
31(6)545,
32(1)1,
32(2)98,
32(2)122,
32(2)142,
32(2)152,
32(2)175,
32(3)202,
32(4)305,
32(4)323,
32(4)333,
32(4)341,
32(5)461,
33(2)98,
33(2)108,
33(2)133,
33(2)140,
33(2)147,
33(2)173,
33(2)181,
33(2)185,
33(4)330,
33(5)444,
33(5)453,
33(5)460,
33(5)466,
33(6)482,
33(6)494,
33(6)508,
33(6)518,
33(6)535,
33(6)547,
33(6)556,
34(1)20,
34(1)52,
34(1)64,
34(2)98,
34(2)113,
34(2)122,
34(2)132,
34(2)164,
34(2)173,
34(2)182,
34(3)215,
34(4)290,
34(4)302,
34(4)331,
34(4)350,
34(4)358,
34(6)566,
35(2)119,
35(2)138,
35(2)170,
35(5)492,
35(5)514,
35(6)636,
36(4)351,
36(6)525,
37(3)177,
37(3)219,
37(7)610,
38(1)17,
38(4)319
- C6140D,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413,
33(1)11,
33(1)49,
33(2)98,
33(2)108,
33(2)133,
33(2)147,
33(2)155,
33(3)194,
33(4)381,
33(5)444,
33(5)460,
33(6)482,
33(6)494,
33(6)501,
33(6)508,
33(6)518,
33(6)535,
33(6)547,
34(1)20,
34(1)52,
34(1)64,
34(1)92,
34(2)143,
34(4)290,
34(4)302,
34(4)311,
34(4)320,
34(4)373,
34(6)z-1,
35(2)108,
35(2)119,
35(2)129,
35(2)157,
35(2)170,
35(4)376,
35(5)478,
35(5)514,
35(6)567,
35(6)625,
36(2)195,
36(3)217,
36(8)723,
37(4)269,
37(4)279,
37(5)399,
37(5)407,
37(6)487,
37(6)519,
37(7)561,
37(7)576,
37(8)711,
37(10)858,
38(1)31,
38(2)142,
38(3)181,
38(3)193,
38(4)319,
38(5)365
- denotational,
22(1)63,
26(2)164,
28(5)480,
29(5)404,
31(1)9,
32(4)290,
32(5)422,
35(5)514
- first,
1(1)29,
2(3)144,
3(1)2,
3(2)112,
3(3)124,
5(2)79,
6(1)6,
6(4)368,
7(2)141,
8(4)392,
12(4)393,
14(2)173,
14(3)272,
14(4)442,
15(2)137,
16(1)73,
16(2)187,
18(4)355,
20(3)242,
22(1)53,
23(2)186,
24(2)97,
25(1)32,
25(2)199,
32(1)76,
32(2)162
- fully,
30(4)378,
33(3)219,
39(3)241,
39(4)303
- Metatheory--Programming,
31(6)517,
32(2)122,
32(4)290,
32(4)305,
32(4)323
- Object-Oriented,
26(4)360,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351,
34(4)311,
35(2)98,
35(5)501,
37(10)858,
39(9)793,
39(9)808
- Oriented, Object-,
26(4)360,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)333,
32(4)341,
32(4)351,
34(4)311,
35(2)98,
35(5)501,
37(10)858,
39(9)793,
39(9)808
- oriented, Object-,
32(4)305,
32(4)333,
33(6)482,
34(4)311,
34(6)514,
35(2)98,
35(2)108,
35(3)256,
35(5)501,
35(6)600,
36(1)4,
36(1)78,
36(1)97,
36(2)137,
36(2)168,
36(8)723,
37(1)16,
37(5)407,
37(6)487,
37(6)499,
37(6)519,
37(6)531,
37(8)669,
37(9)764,
37(10)858,
37(10)888,
38(1)1,
38(1)17,
38(3)181,
38(3)193
- oriented, object-,
31(2)116,
32(4)297,
32(4)305,
32(4)312,
32(4)333,
32(4)341,
33(1)49,
33(6)482,
34(4)311,
34(6)514,
35(2)98,
35(2)108,
35(3)256,
35(5)501,
35(6)600,
36(1)4,
36(1)78,
36(1)97,
36(2)137,
36(2)168,
36(8)723,
37(1)16,
37(5)407,
37(6)487,
37(6)499,
37(6)519,
37(6)531,
37(8)669,
37(9)764,
37(10)858,
37(10)888,
38(1)1,
38(1)17,
38(3)181,
38(10)755,
38(10)777,
39(1)20,
39(5)361,
39(6)455
- oriented;, object-,
32(4)323,
33(1)49,
36(2)168,
37(5)407,
38(1)1,
38(3)181,
38(10)777,
39(1)20
- Programming, Metatheory-,
31(6)517,
32(2)122,
32(4)290,
32(4)305,
32(4)323
- projection,
9(1)27,
12(1)77,
31(2)147,
36(3)282,
38(2)142
- Smalltalk-80,
32(4)341
- state-transition,
31(4)304
- step,
11(1)112,
13(4)401,
14(4)428,
15(1)24,
16(2)187,
22(3)288,
24(1)42,
25(1)116,
26(2)124,
33(1)2,
35(5)441,
38(2)101,
38(10)801,
39(1)45,
39(1)52
- towards,
11(2)169,
12(3)218,
13(1)120-1,
13(2)220,
15(2)95,
17(2)113,
18(2)140,
21(3)215,
22(3)195,
22(4)290,
23(4)377,
26(2)124,
28(3)195,
28(5)524,
29(2)161,
29(2)189,
29(3)222,
30(1)2,
30(4)378,
32(1)1,
32(5)432,
32(6)516,
38(7)622,
41(3)201
- transition,
14(3)254,
17(2)148,
27(1)37,
34(1)52,
36(7)607,
37(10)888,
38(2)152,
38(7)578,
38(7)590