Commit 64b5dac6 authored by Michael Hanus 's avatar Michael Hanus
Browse files

bbl file added, Makefile adapted

parent 9e4b500d
......@@ -5,25 +5,17 @@ TEXFILES = $(wildcard *.tex) $(wildcard syntax/*.tex)
.PHONY: all
all: report.pdf
report.dvi: report.tex $(TEXFILES)
latex report
bibtex report
latex report
makeindex report.idx
latex report
report.ps: report.dvi
dvips report
report.pdf: report.tex $(TEXFILES)
pdflatex report
bibtex report
report.pdf: report.tex $(TEXFILES) report.bbl
pdflatex report
makeindex report.idx
thumbpdf report
pdflatex report
rm -f thumb* report.out
report.bbl:
pdflatex report
bibtex report
install: report.pdf
cp report.pdf /home/mh/pakcs/docs/CurryReport.pdf
......
\begin{thebibliography}{10}
\bibitem{Ait-Kaci90}
H.~A{\"\i}t-Kaci.
\newblock An Overview of LIFE.
\newblock In J.W. Schmidt and A.A. Stogny, editors, {\em Proc. Workshop on Next
Generation Information System Technology}, pp. 42--58. Springer LNCS 504,
1990.
\bibitem{Ait-KaciLincolnNasr87}
H.~A{\"\i}t-Kaci, P.~Lincoln, and R.~Nasr.
\newblock {Le Fun}: Logic, equations, and Functions.
\newblock In {\em Proc. 4th IEEE Internat. Symposium on Logic Programming}, pp.
17--23, San Francisco, 1987.
\bibitem{AlbertHanusHuchOliverVidal05}
E.~Albert, M.~Hanus, F.~Huch, J.~Oliver, and G.~Vidal.
\newblock Operational Semantics for Declarative Multi-Paradigm Languages.
\newblock {\em Journal of Symbolic Computation}, Vol.~40, No.~1, pp. 795--829,
2005.
\bibitem{Antoy92ALP}
S.~Antoy.
\newblock Definitional Trees.
\newblock In {\em Proc. of the 3rd International Conference on Algebraic and
Logic Programming}, pp. 143--157. Springer LNCS 632, 1992.
\bibitem{Antoy97ALP}
S.~Antoy.
\newblock Optimal Non-Deterministic Functional Logic Computations.
\newblock In {\em Proc. International Conference on Algebraic and Logic
Programming (ALP'97)}, pp. 16--30. Springer LNCS 1298, 1997.
\bibitem{AntoyEchahedHanus97ICLP}
S.~Antoy, R.~Echahed, and M.~Hanus.
\newblock Parallel Evaluation Strategies for Functional Logic Languages.
\newblock In {\em Proc.\ of the Fourteenth International Conference on Logic
Programming (ICLP'97)}, pp. 138--152. MIT Press, 1997.
\bibitem{AntoyEchahedHanus00JACM}
S.~Antoy, R.~Echahed, and M.~Hanus.
\newblock A Needed Narrowing Strategy.
\newblock {\em Journal of the ACM}, Vol.~47, No.~4, pp. 776--822, 2000.
\bibitem{AntoyHanus10CACM}
S.~Antoy and M.~Hanus.
\newblock Functional Logic Programming.
\newblock {\em Communications of the ACM}, Vol.~53, No.~4, pp. 74--85, 2010.
\bibitem{ArenasGilLopez94PLILP}
P.~Arenas-S{\'a}nchez, A.~Gil-Luezas, and F.J. L{\'o}pez-Fraguas.
\newblock Combining Lazy Narrowing with Disequality Constraints.
\newblock In {\em Proc. of the 6th International Symposium on Programming
Language Implementation and Logic Programming}, pp. 385--399. Springer LNCS
844, 1994.
\bibitem{BertEchahed86}
D.~Bert and R.~Echahed.
\newblock Design and Implementation of a Generic, Logic and Functional
Programming Language.
\newblock In {\em Proc. European Symposium on Programming}, pp. 119--132.
Springer LNCS 213, 1986.
\bibitem{BonnierMaluszynski88}
S.~Bonnier and J.~Maluszynski.
\newblock Towards a Clean Amalgamation of Logic Programs with External
Procedures.
\newblock In {\em Proc. 5th Conference on Logic Programming \& 5th Symposium on
Logic Programming (Seattle)}, pp. 311--326. MIT Press, 1988.
\bibitem{Boye91}
J.~Boye.
\newblock S-SLD-resolution -- An Operational Semantics for Logic Programs with
External Procedures.
\newblock In {\em Proc. of the 3rd Int. Symposium on Programming Language
Implementation and Logic Programming}, pp. 383--393. Springer LNCS 528, 1991.
\bibitem{BreitingerLoogenOrtega95}
S.~Breitinger, R.~Loogen, and Y.~Ortega-Mallen.
\newblock Concurrency in Functional and Logic Programming.
\newblock In {\em Fuji International Workshop on Functional and Logic
Programming}. World Scientific Publ., 1995.
\bibitem{ChakravartyEtAl98Goffin}
M.M.T. Chakravarty, Y.~Guo, M.~K{\"o}hler, and H.C.R. Lock.
\newblock Goffin - Higher-Order Functions Meet Concurrent Constraints.
\newblock {\em Science of Computer Programming}, Vol.~30, No.~1-2, pp.
157--199, 1998.
\bibitem{DamasMilner82}
L.~Damas and R.~Milner.
\newblock Principal type-schemes for functional programs.
\newblock In {\em Proc. 9th Annual Symposium on Principles of Programming
Languages}, pp. 207--212, 1982.
\bibitem{DershowitzJouannaud90}
N.~Dershowitz and J.-P. Jouannaud.
\newblock Rewrite Systems.
\newblock In J.~van Leeuwen, editor, {\em Handbook of Theoretical Computer
Science, Vol.~B}, pp. 243--320. Elsevier, 1990.
\bibitem{EchahedJanodet98}
R.~Echahed and J.-C. Janodet.
\newblock Admissible Graph Rewriting and Narrowing.
\newblock In {\em Proc. Joint International Conference and Symposium on Logic
Programming (JICSLP'98)}, pp. 325--340, 1998.
\bibitem{Fribourg85}
L.~Fribourg.
\newblock SLOG: A Logic Programming Language Interpreter Based on Clausal
Superposition and Rewriting.
\newblock In {\em Proc. IEEE Internat. Symposium on Logic Programming}, pp.
172--184, Boston, 1985.
\bibitem{GiovannettiLeviMoisoPalamidessi91}
E.~Giovannetti, G.~Levi, C.~Moiso, and C.~Palamidessi.
\newblock Kernel LEAF: A Logic plus Functional Language.
\newblock {\em Journal of Computer and System Sciences}, Vol.~42, No.~2, pp.
139--185, 1991.
\bibitem{GonzalezEtAl99}
J.C. Gonz{\'a}lez-Moreno, M.T. Hortal{\'a}-Gonz{\'a}lez, F.J.
L{\'o}pez-Fraguas, and M.~Rodr{\'\i}guez-Artalejo.
\newblock An approach to declarative programming based on a rewriting logic.
\newblock {\em Journal of Logic Programming}, Vol.~40, pp. 47--87, 1999.
\bibitem{Gonzalez-MorenoEtAl97ICLP}
J.C. Gonz{\'a}lez-Moreno, M.T. Hortal{\'a}-Gonz{\'a}lez, and
M.~Rodr{\'\i}guez-Artalejo.
\newblock A Higher Order Rewriting Logic for Functional Logic Programming.
\newblock In {\em Proc.\ of the Fourteenth International Conference on Logic
Programming (ICLP'97)}, pp. 153--167. MIT Press, 1997.
\bibitem{Hanus90PLILP}
M.~Hanus.
\newblock Compiling Logic Programs with Equality.
\newblock In {\em Proc. of the 2nd Int. Workshop on Programming Language
Implementation and Logic Programming}, pp. 387--401. Springer LNCS 456, 1990.
\bibitem{Hanus94JLP}
M.~Hanus.
\newblock The Integration of Functions into Logic Programming: From Theory to
Practice.
\newblock {\em Journal of Logic Programming}, Vol.~19\&20, pp. 583--628, 1994.
\bibitem{Hanus97DPLE}
M.~Hanus.
\newblock Teaching Functional and Logic Programming with a Single Computation
Model.
\newblock In {\em Proc.\ Ninth International Symposium on Programming
Languages, Implementations, Logics, and Programs (PLILP'97)}, pp. 335--350.
Springer LNCS 1292, 1997.
\bibitem{Hanus97POPL}
M.~Hanus.
\newblock A Unified Computation Model for Functional and Logic Programming.
\newblock In {\em Proc.\ of the 24th ACM Symposium on Principles of Programming
Languages (Paris)}, pp. 80--93, 1997.
\bibitem{Hanus07ICLP}
M.~Hanus.
\newblock Multi-paradigm Declarative Languages.
\newblock In {\em Proceedings of the International Conference on Logic
Programming (ICLP 2007)}, pp. 45--75. Springer LNCS 4670, 2007.
\bibitem{HanusPrehofer99JFP}
M.~Hanus and C.~Prehofer.
\newblock Higher-Order Narrowing with Definitional Trees.
\newblock {\em Journal of Functional Programming}, Vol.~9, No.~1, pp. 33--75,
1999.
\bibitem{HanusSadre99JFLP}
M.~Hanus and R.~Sadre.
\newblock An Abstract Machine for {Curry} and its Concurrent Implementation in
{Java}.
\newblock {\em Journal of Functional and Logic Programming}, Vol.~1999, No.~6,
1999.
\bibitem{HillLloyd94}
P.M. Hill and J.W. Lloyd.
\newblock {\em The G{\"o}del Programming Language}.
\newblock MIT Press, 1994.
\bibitem{JansonHaridi91}
S.~Janson and S.~Haridi.
\newblock Programming Paradigms of the Andorra Kernel Language.
\newblock In {\em Proc. 1991 International Logic Programming Symposium}, pp.
167--183. MIT Press, 1991.
\bibitem{Johnsson85}
T.~Johnsson.
\newblock Lambda Lifting: Transforming Programs to Recursive Functions.
\newblock In {\em Functional Programming Languages and Computer Architecture},
pp. 190--203. Springer LNCS 201, 1985.
\bibitem{KuchenEtAl96NGC}
H.~Kuchen, R.~Loogen, J.J. Moreno-Navarro, and M.~Rodr{\'\i}guez-Artalejo.
\newblock The Functional Logic Language BABEL and Its Implementation on a Graph
Machine.
\newblock {\em New Generation Computing}, Vol.~14, pp. 391--427, 1996.
\bibitem{Lloyd94ILPS}
J.W. Lloyd.
\newblock Combining Functional and Logic Programming Languages.
\newblock In {\em Proc. of the International Logic Programming Symposium}, pp.
43--57, 1994.
\bibitem{Lloyd95}
J.W. Lloyd.
\newblock Declarative Programming in Escher.
\newblock Technical Report CSTR-95-013, University of Bristol, 1995.
\bibitem{LoogenLopezFraguasRodriguezArtalejo93PLILP}
R.~Loogen, F.~L{\'o}pez~Fraguas, and M.~Rodr{\'\i}guez~Artalejo.
\newblock A Demand Driven Computation Strategy for Lazy Narrowing.
\newblock In {\em Proc. of the 5th International Symposium on Programming
Language Implementation and Logic Programming}, pp. 184--200. Springer LNCS
714, 1993.
\bibitem{LoogenWinkler95}
R.~Loogen and S.~Winkler.
\newblock Dynamic Detection of Determinism in Functional Logic Languages.
\newblock {\em Theoretical Computer Science 142}, pp. 59--87, 1995.
\bibitem{LopezFraguas92}
F.J. L{\'o}pez~Fraguas.
\newblock A General Scheme for Constraint Functional Logic Programming.
\newblock In {\em Proc. of the 3rd International Conference on Algebraic and
Logic Programming}, pp. 213--227. Springer LNCS 632, 1992.
\bibitem{MilnerTofteHarper90}
R.~Milner, M.~Tofte, and R.~Harper.
\newblock {\em The Definition of Standard ML}.
\newblock MIT Press, 1990.
\bibitem{MorenoRodriguez92}
J.J. M{oreno-Navarro} and M.~R{odr{\'\i}guez-Artalejo}.
\newblock Logic Programming with Functions and Predicates: The Language BABEL.
\newblock {\em Journal of Logic Programming}, Vol.~12, pp. 191--223, 1992.
\bibitem{NadathurMiller88}
G.~Nadathur and D.~Miller.
\newblock An Overview of $\lambda$Prolog.
\newblock In {\em Proc. 5th Conference on Logic Programming \& 5th Symposium on
Logic Programming (Seattle)}, pp. 810--827. MIT Press, 1988.
\bibitem{Naish91}
L.~Naish.
\newblock Adding equations to NU-Prolog.
\newblock In {\em Proc. of the 3rd Int. Symposium on Programming Language
Implementation and Logic Programming}, pp. 15--26. Springer LNCS 528, 1991.
\bibitem{PeytonJones03Haskell}
S.~Peyton~Jones, editor.
\newblock {\em Haskell 98 Language and Libraries---The Revised Report}.
\newblock Cambridge University Press, 2003.
\bibitem{PeytonJonesWadler93POPL}
S.L. Peyton~Jones and P.~Wadler.
\newblock Imperative Functional Programming.
\newblock In {\em Proc. 20th Symposium on Principles of Programming Languages
(POPL'93)}, pp. 71--84, 1993.
\bibitem{Prehofer95Diss}
C.~Prehofer.
\newblock {\em Solving Higher-order Equations: From Logic to Programming}.
\newblock PhD thesis, TU M{\"u}nchen, 1995.
\newblock Also appeared as Technical Report I9508.
\bibitem{Saraswat93}
V.A. Saraswat.
\newblock {\em Concurrent Constraint Programming}.
\newblock MIT Press, 1993.
\bibitem{SchulteSmolka94}
C.~Schulte and G.~Smolka.
\newblock Encapsulated Search for Higher-Order Concurrent Constraint
Programming.
\newblock In {\em Proc. of the 1994 International Logic Programming Symposium},
pp. 505--520. MIT Press, 1994.
\bibitem{Smolka95}
G.~Smolka.
\newblock The {Oz} Programming Model.
\newblock In J.~van Leeuwen, editor, {\em Computer Science Today: Recent Trends
and Developments}, pp. 324--343. Springer LNCS 1000, 1995.
\bibitem{SuzukiMiddeldorpIda95RTA}
T.~Suzuki, A.~Middeldorp, and T.~Ida.
\newblock Level-Confluence of Conditional Rewrite Systems with Extra Variables
in Right-Hand Sides.
\newblock In {\em Rewriting Techniques and Applications (RTA'95)}, pp.
179--193. Springer LNCS 914, 1995.
\bibitem{Wadler87}
P.~Wadler.
\newblock Efficient Compilation of Pattern-Matching.
\newblock In S.L. Peyton~Jones, editor, {\em The Implementation of Functional
Programming Languages}, pp. 78--103. Prentice Hall, 1987.
\bibitem{Warren82}
D.H.D. Warren.
\newblock Higher-order extensions to {Prolog}: are they needed?
\newblock In {\em Machine Intelligence 10}, pp. 441--454, 1982.
\end{thebibliography}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment