Subject: A ref to "CRA-theorem"
From: Sergei M. Abramov (at home) (abram@botik.ru)
Date: Mon Apr 30 2001 - 09:25:03 MSD
День добрый, коллеги!
У меня такой вопрос:
?1. Подскажите ссылку на работу, где В.Ф.Турчин дает
определение/доказывает CRA-теорему: теорему, что цепочку из сужений, подстановок
и присваиваний--идут в любом порядке,---можно привести к виду: сначала сужения
(C), затем рестрикции (R), в конце присваивания (A).
Ссылку лучше в формате BibTeX или \bibitem{} -- или просто кусочек из
нижеприведенного списка---привожу список некоторых публикаций...
?2. Называет ли он ее в этой работе как-нибудь? (Дает ли он ей имя
"CRA"?)
Зарание спасибо,
Сергей
@TechReport{klia73,
Author="Klimov, A. V. and Romanenko, S. A. and Turchin, V. F.",
Title="Teoreticheskie osnovy sintaksicheskogo otozhdestvlenija v jazyke {Refal
({T}he theory of pattern matching in {Refal})",
Institution="Keldysh Institute of Applied Mathematics, Academy of Sciences of
Number="13",
Type="Preprint",
Note="(in Russian)",
Year="1973"
}
@InProceedings{turv72,
Author = {Turchin, V. F.},
Title = {Ehkvivalentnye preobrazovanija rekursivnykh funkcij na {Refale}
({Equivalent} transformations of recursive functions defined in
BookTitle = {Teorija Jazykov i Metody Programmirovanija
({Proceedings} of the Symposium on the Theory of Languages
and Programming Methods)},
Location = {Kiev-Alushta, USSR},
Pages = {31--42},
note = "(In Russian)",
Year = {1972}
}
@Article{turv74,
Author = {Turchin, V. F.},
Title = {Ehkvivalentnye preobrazovanija programm na {Refale}
({Equivalent} transformations of {Refal} programs)},
Journal = {Avtomatizirovannaja Sistema upravlenija stroitel'stvom. Trudy C
Volume = {6},
Number = {},
Pages = {36--68},
note = {(In Russian)},
Year = {1974}
}
@inproceedings{GlueckTurchin:ISSAC90,
author = {R. Gl\"uck and V. F. Turchin},
title = {Application of metasystem transition to function inversion and
transformation},
booktitle = {{ISSAC} '90: proceedings of the International Symposium on
Symbolic and Algebraic Computation: August 20--24, 1990, Tokyo,
Japan},
publisher = {ACM Press and Ad{\-d}i{\-s}on-Wes{\-l}ey},
year = 1990,
pages = {286--287},
}
@InProceedings{Turchin:72,
author = "Turchin, Valentin F.",
title = "Equivalent transformations of recursive functions defined
in {R}efal",
booktitle = "Tjeorija Jazykov i Mjetody Programmirovanija (Proceedings of
the Symposium on the Theory of Languages and Programming Methods). (Kiev-Alusht
year = "1972",
pages = "31--42",
note = "(In Russian)"
}
@InProceedings{Turchin:74,
author = "Valentin F. Turchin",
title = "Ehkvivalentnye preobrazovanija programm na {Refale}
({Equivalent} transformations of Refal programs)",
booktitle = "Avtomatizirovannaja Sistema upravlenija stroitel'stvom. Trudy
year = "1974",
pages = "36--68",
note = "(In Russian)"
}
@InProceedings{Turchin:80:a,
author = "Turchin, Valentin F.",
title = "Semantic definitions in {R}efal and the automatic
production of compilers",
booktitle = "Workshop on Semantics-Directed Compiler Generation",
location = "{\AA}rhus, Denmark",
Series = LNCS # 94,
year = "1980",
editor = "Neil D. Jones",
pages = "441--474",
publisher = S-V,
month = jan
}
@InProceedings{Turchin:80:b,
Author="Turchin, Valentin F.",
Title="The use of metasystem transition in theorem proving and program
optimization",
BookTitle="Automata, Languages and Programming",
Editor="de Bakker, J. W. and van Leeuwen, J.",
Series=LNCS # 85,
Publisher=S-V,
Pages="645--657",
Year="1980"
}
@TechReport{Turchin:80:Courant,
Author="Turchin, Valentin F.",
Title="The language {R}efal, the theory of compilation and metasystem analysi
Institution="Courant Institute of Mathematical Sciences, New York University"
Number="20",
Type="Courant Computer Science Report",
Year="1980"
}
@InProceedings{TurchinNirenbergTurchin:82,
author = "Turchin, Valentin F. and Nirenberg, Robert and Turchin, Dimitri",
title = "Experiments with a supercompiler",
booktitle = "Conference Record of the ACM Symposium on Lisp and Functional P
year = "1982",
pages = "47--55",
publisher = "ACM Press"
}
@Article{Turchin:86,
author = "Turchin, Valentin F.",
title = "The concept of a supercompiler",
journal = TOPLAS,
year = "1986",
volume = "8",
number = "3",
pages = "292--325"
}
@InProceedings{Turchin:88,
author = "Turchin, Valentin F.",
title = "The algorithm of generalization in the supercompiler",
booktitle = PEMC,
year = "1988",
editor = BEJ,
pages = "531--549",
publisher = N-H
}
@Article{Turchin:93:JFP,
author = "Turchin, Valentin F.",
title = "Program transformation with metasystem transitions",
journal = "Journal of Functional Programming",
year = "1993",
volume = "3",
number = "3",
pages = "283--313",
OPTmonth = ""
}
@TechReport{TurchinNemytykh:95:mvar,
Author="Turchin, Valentin F. and Nemytykh, Andrei P.",
Title="Metavariables: their implementation and use in program transformation"
Institution="City College of the City University of New York",
Number="CSc.\ TR 95-012",
Type="Technical Report",
Year="1995"
}
@TechReport{TurchinNemytykh:95:sascp,
Author="Turchin, Valentin F. and Nemytykh, Andrei P.",
Title="A self-applicable supercompiler",
Institution="City College of the City University of New York",
Number="CSc.\ TR 95-010",
Type="Technical Report",
Year="1995"
}
@InProceedings{Turchin:96,
Author = {Turchin, Valentin F.},
Title = {Metacomputation: metasystem transitions plus supercompilation},
BookTitle = {Partial Evaluation. Proceedings},
Editor = {Danvy, Olivier and Gl\"uck, Robert and Thiemann, Peter},
Series = LNCS # 1110,
Location = {Dagstuhl Castle, Germany},
Publisher = {Springer-Verlag},
Pages = {481--509},
Year = {1996}
}
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD