\begin{thebibliography}{10}

\bibitem{ambrosch+94}
W.~Ambrosch, M.~A. Ertl, F.~Beer, and A.~Krall.
\newblock Dependence-conscious global register allocation.
\newblock In J.~Gutknecht, editor, {\em Programming Languages and System
  Architectures}, pages 125--136, {Z\"urich}, 1994. Springer LNCS~782.

\bibitem{BGZ94}
R.~Baier, R.~Gl{\"u}ck, and R.~Z{\"o}chling.
\newblock Partial evaluation of numerical programs in {Fortran}.
\newblock In {\em ACM SIGPLAN Workshop on Partial Evaluation and
  Semantics-Based Program Manipulation}, pages 119--132, Orlando, Florida,
  1994.

\bibitem{BuEK94a}
O.~Bukhres, A.~Elmagarmid, and e.~K{\"{u}}hn.
\newblock {\em Object-Oriented Multidatabase Systems}, chapter Advanced
  Languages for Multidatabase Systems.
\newblock Prentice-Hall, 1994.

\bibitem{b94d}
C.~Eisenbeis, S.~Lelait, A.~Sawaya, and J.~Wang.
\newblock Parallelisation de boucles: constraintes de ressources et registres.
\newblock In {\em proceedings of Actes des 6es Rencontres Francophones du
  Parallelisme, RenPar'6}. ENS Lyon, France, June 1994.

\bibitem{ertl94l}
M.~A. Ertl.
\newblock Automatic scoping of local variables.
\newblock In {\em EuroForth~'94 Conference Proceedings}, pages 31--37,
  Winchester, UK, 1994.

\bibitem{ertl94sc}
M.~A. Ertl.
\newblock Stack caching for interpreters.
\newblock In {\em EuroForth~'94 Conference Proceedings}, pages 3--12,
  Winchester, UK, 1994.

\bibitem{ertl&krall94}
M.~A. Ertl and A.~Krall.
\newblock Delayed exceptions --- speculative execution of trapping
  instructions.
\newblock In {\em Compiler Construction (CC '94)}, pages 158--171, Edinburgh,
  April 1994. Springer LNCS~786.

\bibitem{FKPS94a}
A.~Forst, e.~K{\"{u}}hn, H.~Pohlai, and K.~Schwarz.
\newblock Logic based and imperative coordination languages.
\newblock In {\em Seventh International Conference on Parallel and Distributed
  Comuting Systems, PDCS'94}, Las Vegas, Nevada, October 1994. ISCA, in
  cooperation with ACM, IEEE.

\bibitem{Gv94c}
R.~Gl{\"u}ck.
\newblock Deforestation and supercompilation.
\newblock ESPRIT Semantique Workshop, Aarhus, Denmark, July 1994.

\bibitem{Gv94b}
R.~Gl{\"u}ck.
\newblock Fortran program specialization.
\newblock IFIP WG 2.4 Meeting, Szeged, Hungary, May 1994.

\bibitem{Gv94a}
R.~Gl{\"u}ck.
\newblock Generating transformers for deforestation and driving.
\newblock Atlantique Workshop on Semantics-Based Program Manipulation,
  Portland, Oregon, USA, January 1994.

\bibitem{G94:JFP}
R.~Gl{\"u}ck.
\newblock On the generation of specializers.
\newblock {\em Journal of Functional Programming}, 4(4):499--514, 1994.

\bibitem{GJ94:IEEE}
R.~Gl{\"u}ck and J.~J{\o}rgensen.
\newblock Generating optimizing specializers.
\newblock In {\em 1994 International Conference on Computer Languages}, pages
  183--194, Toulouse, France, 1994. IEEE Computer Society Press.

\bibitem{GJ94:SAS}
R.~Gl{\"u}ck and J.~J{\o}rgensen.
\newblock Generating transformers for deforestation and supercompilation.
\newblock In B.~Le~Charlier, editor, {\em Static Analysis. Proceedings}, volume
  864 of {\em Lecture Notes in Computer Science}, pages 432--448, Namur,
  Belgium, 1994. Springer-Verlag.

\bibitem{GK94:LMMC}
R.~Gl{\"u}ck and A.~V. Klimov.
\newblock Metacomputation as a tool for formal linguistic modeling.
\newblock In R.~Trappl, editor, {\em Cybernetics and Systems '94}, volume~2,
  pages 1563--1570. World Scientific, Singapore, 1994.

\bibitem{GS94}
R.~Gl{\"u}ck and M.~H. S{\o}rensen.
\newblock Partial deduction and driving are equivalent.
\newblock In M.~Hermenegildo and J.~Penjam, editors, {\em Programming Language
  Implementation and Logic Programming. Proceedings}, volume 844 of {\em
  Lecture Notes in Computer Science}, pages 165--181, Madrid, Spain, 1994.
  Springer-Verlag.

\bibitem{KKZG94}
P.~Kleinrubatscher, A.~Kriegshaber, R.~Z{\"o}chling, and R.~Gl{\"u}ck.
\newblock Fortran program specialization.
\newblock In G.~Snelting and U.~Meyer, editors, {\em Semantikgest{\"u}tzte
  Analyse, Entwicklung und Generierung von Programmen. GI Workshop}, pages
  45--54, Schloss Rauischholzhausen, Germany, 1994.
  Justus-Liebig-Universit{\"a}t Giessen.

\bibitem{Kral94b}
A.~Krall.
\newblock Implementation techniques for {Prolog}.
\newblock In N.~E. Fuchs, editor, {\em 10. Workshop Logische Programmierung},
  Bericht, pages 1--15, Z\"urich, 1994. Universit\"at Z\"urich.

\bibitem{Kral94a}
A.~Krall.
\newblock Improving semi-static branch prediction by code replication.
\newblock In {\em Conference on Programming Language Design and
  Implementation}, volume 29(7) of {\em SIGPLAN}, pages 97--106, Orlando, 1994.
  ACM.

\bibitem{KrBe94a}
A.~Krall and T.~Berger.
\newblock Incremental flow analysis.
\newblock In H.~Lock, editor, {\em 3rd Workshop on Functional Logic
  Programming}, pages 15--19, Schwarzenberg, 1994. IBM Scientific Center
  Heidelberg.

\bibitem{KrBe94b}
A.~Krall and T.~Berger.
\newblock A progress report on incremental global compilation of {Prolog}.
\newblock In K.~D. Bosschere, B.~Demoen, and P.~Tarau, editors, {\em
  International Logic Programming Symposium, Workshop on Implementation
  Techniques for Logic Programming Languages}, pages 59--67, Ithaca, 1994. ALP.

\bibitem{Kueh94a}
e.~K{\"{u}}hn.
\newblock Fault-tolerance for communicating multidatabase transactions.
\newblock In {\em Proceedings of the 27th Hawaii International Conference on
  System Sciences (HICSS)}, Wailea, Maui, Hawaii, January 1994. ACM, IEEE.

\bibitem{KuLP94}
e.~K{\"{u}}hn, W.~Liu, and H.~Pohlai.
\newblock Scheduling transactions on distributed systems with the {VPL} engine.
\newblock In {\em In: Proceedings of the Second Biennial European Joint
  Conference on Engineering Systems Design, ESDA'94}, London, England, July
  1994. The American Society of Mechanical Engineers (ASME).

\bibitem{KuPP94}
e.~K{\"{u}}hn, H.~Pohlai, and F.~Puntigam.
\newblock Communication and transactions in {VPL}.
\newblock {\em Computers and Artificial Intelligence}, 13(4), 1994.

\bibitem{KuPS94a}
e.~K{\"{u}}hn, H.~Pohlai, and K.~Schwarz.
\newblock Efficient coordination support with transputer systems.
\newblock In {\em 2nd Austrian-Hungarian Workshop on Transputer Applications},
  Budapest, Hungary, September 1994. KFKI-Reports Series.

\bibitem{KuST94}
e.~K{\"{u}}hn, K.~Schwarz, and T.~Tschernko.
\newblock A language based multidatabase system.
\newblock In {\em Proceedings of the ACM-SIGMOD 1994 Conference}, Minnesota,
  May 24--27 1994.
\newblock prototype system description.

\bibitem{Nv94}
U.~Neumerkel.
\newblock A program transformation based on equality.
\newblock IBM T.J.Watson Research Centre, September 1994.

\bibitem{Punt94a}
F.~Puntigam.
\newblock Transactions on shared data: A coordination model.
\newblock In {\em Hawaii International Conference on System Sciences}, January
  1994.

\bibitem{Punt94b}
F.~Puntigam.
\newblock Type specialization and coordination.
\newblock In {\em Workshop on Coordination Models and Languages for Parallelism
  and Distribution}, July 1994.

\bibitem{Punt94c}
F.~Puntigam.
\newblock Type specialization for object-oriented coordination.
\newblock In {\em Joint Conference on Information Sciences}, November 1994.

\bibitem{SGJ94}
M.~H. S{\o}rensen, R.~Gl{\"u}ck, and N.~D. Jones.
\newblock Towards unifying partial evaluation, deforestation, supercompilation,
  and gpc.
\newblock In D.~Sannella, editor, {\em Programming Languages and Systems - ESOP
  '94. Proceedings}, volume 788 of {\em Lecture Notes in Computer Science},
  pages 485--500, Edinburgh, Scotland, 1994. Springer-Verlag.

\bibitem{b94c}
B.~Su, S.~Habib, Y.~Wu, J.~Wang, and W.~Zhao.
\newblock A study of pointer aliasing for software pipelining using run-time
  disambiguation.
\newblock In {\em proceedings of the 27th International Symposium and Workshop
  on Microprogramming and Microarchitecture (MICRO-27)}. ACM and IEEE, December
  1994.

\bibitem{TN94}
P.~Tarau and U.~Neumerkel.
\newblock A novel term compression scheme and data representation in the
  {BinWAM}.
\newblock In {\em Programming Language Implementation and Logic Programming,
  International Symposium, PLILP'94}, Lecture Notes in Computer Science.
  Springer-Verlag, 1994.

\bibitem{a94b}
J.~Wang, C.~Eisenbeis, M.~Jourdan, and B.~Su.
\newblock {Decomposed Software Pipelining}: A new perspective and a new
  approach.
\newblock {\em International Journal of Parallel Programming}, 22(3):357--379,
  1994.

\bibitem{a94a}
J.~Wang, C.~Eisenbeis, and B.~Su.
\newblock Using timed petri net to model instruction-level loop scheduling with
  resource constraints.
\newblock {\em Journal of Computer Science and Technology}, 9(2):128--143,
  1994.

\bibitem{b94b}
J.~Wang, A.~Krall, M.~A. Ertl, and C.~Eisenbeis.
\newblock Software pipelining with register allocation and spilling.
\newblock In {\em proceedings of the 27th International Symposium and Workshop
  on Microprogramming and Microarchitecture (MICRO-27)}. ACM and IEEE, December
  1994.

\bibitem{b94a}
J.~Wang, A.~Krall, M.~A. Ertl, and C.~Eisenbeis.
\newblock {Trace Software Pipelining}: A novel technique for parallelization of
  loops with branches.
\newblock In M.~Cosnard, G.~Gao, and G.~Silberman, editors, {\em proceedings of
  International Conference on Parallel Architectures and Compilation Techniques
  (PACT'94)}. IFIP, Elsevier Science B. V. (North-Holland), August 1994.

\end{thebibliography}
