\begin{thebibliography}{10}

\bibitem{BuKu1995}
O.~Bukhres and e.~K{\"{u}}hn.
\newblock Highly available and reliable communication protocols for
  heterogeneous systems.
\newblock {\em Information Sciences}, 3(1):1--40, January 1995.

\bibitem{ertl95pldi}
M.~A. Ertl.
\newblock Stack caching for interpreters.
\newblock In {\em SIGPLAN '95 Conference on Programming Language Design and
  Implementation}, 1995.

\bibitem{ErKr95}
M.~A. Ertl and A.~Krall.
\newblock High level constraints over finite domains.
\newblock In M.~Meyer, editor, {\em Constraint Processing}, LNCS 923, pages
  51--66, Heidelberg, 1995. Springer.

\bibitem{ertl&maierhofer95}
M.~A. Ertl and M.~Maierhofer.
\newblock Translating forth to efficient c.
\newblock In {\em EuroForth~'95 Conference Proceedings}, Schloss Dagstuhl,
  Germany, 1995.

\bibitem{FoKB1995}
A.~Forst, e.~K{\"{u}}hn, and O.~Bukhres.
\newblock General purpose work flow languages.
\newblock {\em Distributed and Parallel Databases}, 3(2):187--218, April 1995.
\newblock ISSN: 0926-8782.

\bibitem{gl951}
R.~Gl{\"u}ck and J.~J{\o}rgensen.
\newblock Efficient multi-level generating extensions for program
  specialization.
\newblock In S.~D. Swierstra and M.~Hermenegildo, editors, {\em Programming
  Languages: Implementations, Logics and Programs}, Lecture Notes in Computer
  Science 982, pages 259--278, Utrecht, The Netherlands, 1995. Springer-Verlag.

\bibitem{gl952}
R.~Gl{\"u}ck and A.~V. Klimov.
\newblock Reduction of language hierarchies.
\newblock In {\em Proceedings of the 14th International Congress on
  Cybernetics}, Namur, Belgium, 1995. International Association for
  Cybernetics.

\bibitem{gl953}
R.~Gl{\"u}ck, R.~Nakashige, and R.~Z{\"o}chling.
\newblock Binding-time analysis applied to mathematical algorithms.
\newblock In J.~Dolezal and J.~Fidler, editors, {\em System Modelling and
  Optimization}, pages 137--146, Prague, Czech Republic, 1995. Chapman and
  Hall.

\bibitem{Kral95}
A.~Krall.
\newblock Fast abstract interpretation of prolog with an abstract machine.
\newblock 4th Workshop on Functional Logic Programming, Schwarzenberg, 1995.

\bibitem{KrBe95a}
A.~Krall and T.~Berger.
\newblock Incremental global compilation of {Prolog} with the {Vienna Abstract
  Machine}.
\newblock In L.~Sterling, editor, {\em Twelfth International Conference on
  Logic Programming}, pages 333--347, Tokyo, 1995. MIT Press.

\bibitem{KrBe95b}
A.~Krall and T.~Berger.
\newblock The {VAM$_{\rm AI}$} - an abstract machine for incremental global
  dataflow analysis of {Prolog}.
\newblock In M.~G. de~la Banda, G.~Janssens, and P.~Stuckey, editors, {\em
  ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic
  Languages}, pages 80--91, Tokyo, 1995. Science University of Tokyo.

\bibitem{KELB1995}
e.~K{\"u}hn, A.~K.Elmagarmid, Y.~Leu, and N.~Boudriga.
\newblock A parallel logic language for transaction specification in
  multidatabase systems.
\newblock {\em Journal of Systems Integration}, 5:219--252, 1995.

\bibitem{Neu95-5}
U.~Neumerkel.
\newblock Continuation prolog: A new intermediary language for wam and binwam
  code generation.
\newblock In Z.~Somogy, L.~Naish, F.~Henderson, and T.~Conway, editors, {\em
  ILPS 95 Workshop on Sequential Implementation Technologies for Logic
  Programming Languages}, Portland, 1995.

\bibitem{Neu95-3}
U.~Neumerkel.
\newblock Interprozedurale {Registerallokation} durch
  {Quelltexttransformationen}.
\newblock In A.~Krall and U.~Geske, editors, {\em {11. Workshop Logische
  Programmierung}}, GMD-Studien Nr. 270, Wien, 1995.

\bibitem{Neu95-4}
U.~Neumerkel.
\newblock Transforming binary logic programs using continuation prolog.
\newblock INTAS Workshop Efficient Symbolic Computing, Namur, 1995.

\bibitem{Neu95-2}
U.~Neumerkel.
\newblock {Tutorial: Teaching beginners Prolog, How to teach Prolog}.
\newblock International Conference on the Pratical Application of Prolog,
  Paris, 1995.

\bibitem{PuntOOPMOC95}
F.~Puntigam.
\newblock Flexible types for a concurrent model.
\newblock In {\em Proceedings of the Workshop on Object-Oriented Programming
  and Models of Concurrency}, Torino, June 1995.

\bibitem{PuntFORTE95}
F.~Puntigam.
\newblock Type specifications with processes.
\newblock In {\em Proceedings {FORTE}'95}, Montreal, Oct 1995. IFIP.

\bibitem{PuntWLP95}
F.~Puntigam.
\newblock Typen f{\"u}r logikbasierte aktive {Objekte}.
\newblock In {\em Workshop Logische Programmierung}, number 270 in
  {GMD}-Studien, Vienna, Sept 1995.

\bibitem{gl954}
M.~H. S{\o}rensen and R.~Gl{\"u}ck.
\newblock An algorithm of generalization in positive supercompilation.
\newblock In J.~W. Lloyd, editor, {\em Logic Programming: Proceedings of the
  1995 International Symposium}, pages 465--479, Portland, Oregon, 1995. MIT
  Press.

\bibitem{gl955}
P.~Thiemann and R.~Gl{\"u}ck.
\newblock The generation of a higher-order online partial evaluator.
\newblock In M.~Takeichi and T.~Ida, editors, {\em Fuji International Workshop
  on Functional and Logic Programming}, Susono, Japan, 1995. World Scientific.

\bibitem{WaKr95b}
J.~Wang, A.~Krall, and M.~A. Ertl.
\newblock Decomposed software pipelining with reduced register requirement.
\newblock In J.-L. Gaudiot, editor, {\em International Conference on Parallel
  Architectures and Compilation Techniques}, pages 277--280, Limassol, 1995.
  IFIP,ACM,IEEE, North-Holland.

\bibitem{WaKr95c}
J.~Wang, A.~Krall, and M.~A. Ertl.
\newblock Register requirement for exploiting loops' maximum instruction-level
  parallelism.
\newblock In S.~Bai, J.~Fan, and X.~Li, editors, {\em The Fourth International
  Conference for Young Computer Scientists}, pages 70--75, Beijing, 1995.
  Peking University Press.

\bibitem{WaKr95a}
J.~Wang, A.~Krall, and M.~A. Ertl.
\newblock Trace software pipelining.
\newblock {\em Journal of Computer Science and Technology}, 1995.

\bibitem{Yann95}
M.~Yannikos.
\newblock Partielle maschinencodegenerierung f{\"u}r bin{\"a}res {Prolog}.
\newblock In A.~Krall and U.~Geske, editors, {\em {11. Workshop Logische
  Programmierung}}, GMD-Studien Nr. 270, Wien, 1995.

\end{thebibliography}
