Entry Harrison:1988:ATT from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
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{Harrison:1988:ATT,
author = "P. G. Harrison and H. Khoshnevisan",
title = "Algebraic Transformation Techniques for Functional
Languages",
journal = j-COMP-J,
volume = "31",
number = "3",
pages = "229--242",
month = jun,
year = "1988",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/31.3.229",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68N05 (68N15)",
MRnumber = "947 201",
bibdate = "Tue Dec 4 14:48:24 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/31/3.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/;
Misc/Functional.bib",
URL = "http://comjnl.oxfordjournals.org/content/31/3/229.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/229.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/230.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/231.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/232.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/233.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/234.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/235.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/236.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/237.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/238.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/239.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/240.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/241.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_03/tiff/242.tif",
acknowledgement = ack-nhfb,
affiliation = "Imperial Coll of Science \& Technology, London, Engl",
affiliationaddress = "Imperial Coll of Science \& Technology, London,
Engl",
classcodes = "C6110B (Software engineering techniques); C6115
(Programming support)",
classification = "723; 921",
corpsource = "Dept. of Comput., Imperial Coll. of Sci. and Technol.,
London, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "abstraction level; algebraic transformation
techniques; clarity; computer programming languages;
correctness; environments; functional languages;
maintenance; mathematical techniques --- Algebra;
programming environments; recursive functions;
reliability; specification; specification languages;
Theory; transformation-based support;
understandability; variable-free representation",
treatment = "P Practical",
}
Related entries
- 68N05,
27(4)340,
30(1)27,
30(4)378,
30(5)437,
30(6)507,
31(1)17,
32(2)122
- 68N15,
30(5)437,
32(4)290
- abstraction,
23(1)41,
23(4)380,
23(4)381,
24(2)118,
25(2)207,
27(1)47,
28(3)298,
29(4)348,
30(4)328,
31(2)165,
31(3)193,
31(6)531,
32(1)36,
32(4)297
- algebra,
23(1)73,
25(1)56,
25(2)231,
25(3)397,
25(4)493,
26(1)6,
26(2)184,
27(2)159,
28(2)142,
28(3)340,
29(3)261,
29(5)416,
30(3)268,
30(6)498,
31(1)34,
31(4)313,
31(6)564,
31(6)567,
32(2)122
- algebraic,
27(2)178,
27(4)301,
28(1)59,
28(2)142,
28(2)154,
29(3)261,
29(5)416,
30(4)316,
31(4)313,
32(2)122,
32(5)413
- correctness,
23(1)41,
27(3)230,
29(5)423,
29(6)531,
30(2)168,
30(4)376,
31(4)289,
31(6)503,
32(5)437
- environments,
25(3)368,
28(1)22,
28(2)148,
28(5)466,
29(3)201,
30(3)193,
30(6)551,
31(1)12,
31(5)391,
31(6)540,
32(4)341,
32(5)386,
32(6)541
- function,
23(2)165,
23(3)286,
24(1)42,
25(3)379,
25(3)397,
25(4)448,
28(1)54,
29(1)9,
29(1)38,
29(3)277,
29(4)289,
30(1)27,
31(1)17,
31(3)209,
31(3)243,
31(6)510,
32(1)36,
32(1)93,
32(2)98,
32(2)122,
32(4)305,
32(5)461
- Harrison, P. G.,
23(2)132,
25(2)264,
27(1)27
- level,
23(2)124,
23(2)153,
24(1)25,
24(1)56,
24(1)62,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
25(4)429,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(2)188,
26(3)228,
26(3)235,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)83,
27(2)97,
27(2)151,
27(4)334,
28(1)34,
28(3)250,
28(4)357,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(1)52,
30(2)128,
30(5)437,
30(6)487,
31(2)99,
31(2)110,
31(3)220,
31(3)243,
31(4)344,
32(1)36,
32(1)90,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
- maintenance,
25(1)126,
25(2)169,
26(2)124,
27(2)97,
29(1)20,
29(1)52,
29(4)322,
31(2)165
- mathematical,
24(2)177,
24(2)180,
24(2)184,
25(1)7,
25(1)56,
25(4)478,
26(1)6,
26(2)97,
26(2)106,
26(3)193,
27(2)165,
27(4)368-1,
28(1)5,
28(1)78,
28(1)89,
28(2)142,
28(2)179,
28(4)414,
28(4)417,
28(4)426,
28(5)498,
28(5)524,
28(5)530,
28(5)538,
29(1)36,
29(1)52,
29(2)171,
29(2)176,
29(2)182,
29(4)378,
29(5)416,
29(6)553,
30(1)16,
30(1)20,
30(1)70,
30(2)128,
30(2)189,
30(3)258,
30(3)268,
30(3)282,
30(4)298,
30(5)458,
30(6)498,
30(6)569,
31(1)61,
31(1)71,
31(1)76,
31(2)155,
31(3)243,
31(3)283,
31(4)364,
31(6)490,
31(6)545,
31(6)557,
31(6)564,
31(6)567,
32(1)45,
32(1)68,
32(1)76,
32(1)86,
32(1)93,
32(2)175,
32(4)351,
32(4)374,
32(4)377
- recursive,
23(4)332,
25(2)231,
26(1)15,
26(3)205,
27(2)171,
28(1)78,
29(2)161,
29(2)182,
29(6)531,
30(4)376,
31(3)283,
31(4)358,
31(6)561,
31(6)565,
32(1)36,
32(3)281
- reliability,
24(1)91,
28(4)353,
29(1)12,
29(3)269,
29(4)300,
30(3)228,
30(5)475,
31(4)304
- representation,
23(4)332,
25(4)442,
25(4)471,
26(3)235,
26(4)344,
27(2)171,
27(3)225,
28(1)73,
28(2)112,
28(2)184,
28(4)379,
28(4)433,
29(3)241,
29(5)467,
30(2)128,
30(3)214,
30(5)404,
31(1)12,
31(1)17,
31(3)258,
31(6)525,
32(1)45,
32(1)76,
32(4)333,
32(5)445,
32(6)494,
32(6)549,
32(6)554
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- support,
25(1)148,
27(1)37,
29(1)90,
29(2)109,
29(3)201,
30(2)97,
31(5)391,
31(6)481,
32(3)194,
32(4)323,
32(5)386,
32(5)413,
32(5)461,
32(6)541
- transformation,
23(1)61,
23(2)161,
23(4)344,
24(3)271,
27(4)301,
28(5)530,
29(2)171,
30(1)37,
30(1)43,
30(2)149,
30(6)498,
30(6)512,
31(3)269,
31(6)517,
32(2)127,
32(3)241,
32(5)445