Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/benchmarks/programs/nucleic/paper.bbl
ViewVC logotype

Annotation of /sml/trunk/benchmarks/programs/nucleic/paper.bbl

Parent Directory Parent Directory | Revision Log Revision Log


Revision 193 - (view) (download)

1 : monnier 193 \begin{thebibliography}{10}
2 :    
3 :     \bibitem{Alt93}
4 :     M.~Alt, C.~Fecht, C.~Ferdinand, and R.~Wilhelm.
5 :     \newblock The {{Trafola-{S}}} subsystem.
6 :     \newblock In B.~Hoffmann and B.~Krieg-Br\"uckner, editors, {\em Program
7 :     development by specification and transformation, {LNCS} 680}, pages 539--576.
8 :     Springer-Verlag, Berlin, May 1993.
9 :    
10 :     \bibitem{App92}
11 :     A.~W. Appel.
12 :     \newblock {\em Compiling with Continuations}.
13 :     \newblock Cambridge Univ. Press, Cambridge, England, 1992.
14 :    
15 :     \bibitem{Arm93}
16 :     J.~Armstrong, M.~Williams, and R.~Virding.
17 :     \newblock {\em Concurrent programming in Erlang}.
18 :     \newblock Prentice Hall, Englewood Cliffs, New Jersey, 1993.
19 :    
20 :     \bibitem{Aug93c}
21 :     L.~Augustsson.
22 :     \newblock {HBC} user's manual.
23 :     \newblock Programming Methodology Group Distributed with the HBC compiler,
24 :     Depart. of Comp. Sci, Chalmers, S--412 96 G\"{o}teborg, Sweden, 1993.
25 :    
26 :     \bibitem{Bee92a}
27 :     M.~Beemster.
28 :     \newblock The lazy functional intermediate language {Stoffel}.
29 :     \newblock Technical report CS-92-16, Dept. of Comp. Sys, Univ. of Amsterdam,
30 :     Dec 1992.
31 :    
32 :     \bibitem{Bee93}
33 :     M.~Beemster.
34 :     \newblock Optimizing transformations for a lazy functional language.
35 :     \newblock In W.-J. Withagen, editor, {\em 7th Computer systems}, pages 17--40,
36 :     Eindhoven, The Netherlands, Nov 1993. Eindhoven Univ. of Technology.
37 :    
38 :     \bibitem{Can92c}
39 :     D.~C. Cann.
40 :     \newblock The optimizing {SISAL} compiler: version 12.0.
41 :     \newblock Manual UCRL-MA-110080, Lawrence Livermore National Laboratory,
42 :     Livermore, California, Apr 1992.
43 :    
44 :     \bibitem{Can92}
45 :     D.~C. Cann.
46 :     \newblock Retire {FORTRAN}? a debate rekindled.
47 :     \newblock {\em Communications ACM}, 35(8):81--89, Aug 1992.
48 :    
49 :     \bibitem{Cha92a}
50 :     E.~Chailloux.
51 :     \newblock An efficient way of compiling {ML} to {C}.
52 :     \newblock In P.~Lee, editor, {\em {ACM} {SIGPLAN} Workshop on {ML} and its
53 :     Applications}, pages 37--51, San Francisco, California, Jun 1992. School of
54 :     Comp. Sci, Carnegie Mellon Univ., Pittsburg, Pennsylvania, Technical report
55 :     CMU-CS-93-105.
56 :    
57 :     \bibitem{Did94}
58 :     K.~Didrich, A.~Fett, C.~Gerke, W.~Grieskamp, and P.~Pepper.
59 :     \newblock {OPAL}: Design and implementation of an algebraic programming
60 :     language.
61 :     \newblock In J.~Gutknecht, editor, {\em Programming Languages and System
62 :     Architectures, {LNCS} 782}, pages 228--244, Zurich, Switzerland, Mar 1994.
63 :     Springer-Verlag, Berlin.
64 :    
65 :     \bibitem{Diw94}
66 :     A.~Diwan, D.~Tarditi, and E.~Moss.
67 :     \newblock Memory subsystem performance of programs with copying garbage
68 :     collection.
69 :     \newblock In {\em 21st Principles of programming languages}, pages 1--14,
70 :     Portland, Oregon, Jan 1994. ACM.
71 :    
72 :     \bibitem{Ler93}
73 :     X.~Leroy {\em et al.}
74 :     \newblock {\em The {Caml} {Light} system, release 0.61}.
75 :     \newblock Software and documentation distributed by anonymous FTP on {\tt
76 :     ftp.inria.fr}, 1993.
77 :    
78 :     \bibitem{Fee90}
79 :     M.~Feeley and J.~S. Miller.
80 :     \newblock A parallel virtual machine for efficient {{S}}cheme compilation.
81 :     \newblock In {\em {Lisp} and functional programming}, pages 119--130, Nice,
82 :     France, Jul 1990. ACM.
83 :    
84 :     \bibitem{Fee94}
85 :     M.~Feeley, M.~Turcotte, and G.~{LaPalme}.
86 :     \newblock Using {{Multilisp}} for solving constraint satisfaction problems: an
87 :     application to nucleic acid {{3D}} structure determination.
88 :     \newblock {\em Lisp and symbolic computation (to appear)}, 1994.
89 :    
90 :     \bibitem{Fin92a}
91 :     S.~Finn and M.~Crawley.
92 :     \newblock {\em Using Poly/{ML} {2.05M}}.
93 :     \newblock Abstract Hardware Ltd., Aug 1992.
94 :    
95 :     \bibitem{Fis84}
96 :     J.~A. Fisher, J.~R. Ellis, J.~C. Ruttenberg, and A.~Nicolau.
97 :     \newblock Parallel processing: A smart compiler and a dumb machine.
98 :     \newblock In {\em Compiler construction}, pages 37--47, Montr\'{e}al, Canada,
99 :     Jun 1984. ACM SIGPLAN notices,19(6).
100 :    
101 :     \bibitem{Gie94}
102 :     R.~Giegerich and R.~J.~M. Hughes.
103 :     \newblock Functional programming in the real world.
104 :     \newblock Dagstuhl seminar report~89, IBFI GmbH, Schloss Dagstuhl, D-66687
105 :     Wadern, Germany, May 1994.
106 :    
107 :     \bibitem{Gil94}
108 :     A.~J. Gill and S.~L. {Peyton Jones}.
109 :     \newblock Cheap deforestation in practice: An optimiser for {Haskell}.
110 :     \newblock In {\em Proc. {IFIP}}, pages ???--???, Hamburg, Germany, Aug 1994.
111 :    
112 :     \bibitem{Gol94}
113 :     S.~C. Goldstein.
114 :     \newblock The implementation of a threaded abstract machine.
115 :     \newblock Technical report UCB/CSP 94-818, Comp. Sci. Division (EECS), Univ. of
116 :     California, Berkeley CA 94720, 1994.
117 :    
118 :     \bibitem{Gop89}
119 :     K.~Gopinath and J.~L. Hennesy.
120 :     \newblock Copy elimination in functional languages.
121 :     \newblock In {\em 16th Principles of programming languages}, pages 303--314,
122 :     Austin, Texas, Jan 1989. ACM.
123 :    
124 :     \bibitem{Yal94}
125 :     The Yale~Haskell Group.
126 :     \newblock {\em The Yale {Haskell} Users Manual (version Y2.1)}.
127 :     \newblock Dept. of Comp. Sci, Yale Univ., Jul 1994.
128 :    
129 :     \bibitem{Hal85}
130 :     R.~H. {Halstead Jr}.
131 :     \newblock {Multilisp}: A language for concurrent symbolic computation.
132 :     \newblock {\em ACM Transactions on programming languages and systems},
133 :     7(4):501--538, Oct 1985.
134 :    
135 :     \bibitem{Har94x}
136 :     Harlequin.
137 :     \newblock {\em {MLWorks} draft documentation}.
138 :     \newblock Harlequin Ltd, Cambridge, England, 1994.
139 :    
140 :     \bibitem{Har91}
141 :     P.~H. Hartel, H.~W. Glaser, and J.~M. Wild.
142 :     \newblock Compilation of functional languages using flow graph analysis.
143 :     \newblock {\em Software---practice and experience}, 24(2):127--173, Feb 1994.
144 :    
145 :     \bibitem{Har92b}
146 :     P.~H. Hartel and K.~G. Langendoen.
147 :     \newblock Benchmarking implementations of lazy functional languages.
148 :     \newblock In {\em 6th Functional programming languages and computer
149 :     architecture}, pages 341--349, Copenhagen, Denmark, Jun 1993. ACM.
150 :    
151 :     \bibitem{Hau94}
152 :     B.~Hausman.
153 :     \newblock Turbo erlang: Approaching the speed of {C}.
154 :     \newblock In E.~Tick and G.~Succi, editors, {\em Implementations of Logic
155 :     Programming Systems}, pages 119--135. Kluwer Academic Publishers,
156 :     Boston/Dordrecht/London, Mar 1994.
157 :    
158 :     \bibitem{Hud92a}
159 :     P.~Hudak, S.~L. {Peyton Jones}, and P.~L.~Wadler (editors).
160 :     \newblock Report on the programming language {Haskell} -- a non-strict purely
161 :     functional language, version 1.2.
162 :     \newblock {\em ACM SIGPLAN notices}, 27(5):R1--R162, May 1992.
163 :    
164 :     \bibitem{Jon94c}
165 :     M.~P. Jones.
166 :     \newblock The implementation of the {{G}}ofer functional programming system.
167 :     \newblock Research Report YALEU/DCS/RR-1030, Dept. of Comp. Sci, Yale Univ.,
168 :     New haven, Connecticut, May 1994.
169 :    
170 :     \bibitem{Ker88}
171 :     B.~W. Kernighan and D.~W. Ritchie.
172 :     \newblock {\em The {{C}} programming language}.
173 :     \newblock Prentice Hall, Englewood Cliffs, New Jersey, 1988.
174 :    
175 :     \bibitem{Ler92}
176 :     X.~Leroy.
177 :     \newblock Unboxed objects and polymorphic typing.
178 :     \newblock In {\em 19th Principles of Programming Languages}, pages 177--188,
179 :     Albuquerque, New Mexico, Jan 1992. ACM Press.
180 :    
181 :     \bibitem{Mac92}
182 :     R.~A. MacLachlan.
183 :     \newblock {CMU} common {Lisp} user's manual.
184 :     \newblock Technical report CMU-CS-92-161, School of Comp. Sci, Carnegie Mellon
185 :     Univ., Jul 1992.
186 :    
187 :     \bibitem{McG85}
188 :     J.~R. McGraw, S.~K. Skedzielewski, S.~Allan, R.~Oldehoeft, J.~R.~W. Glauert,
189 :     C.~Kirkham, B.~Noyce, and R.~Thomas.
190 :     \newblock {Sisal}: Streams and iteration in a single assignment language.
191 :     \newblock Language reference manual version 1.2 M-146, Rev. 1, Lawrence
192 :     Livermore National Laboratory, Livermore, California, Mar 1985.
193 :    
194 :     \bibitem{Mil90}
195 :     R.~Milner, M.~Tofte, and R.~Harper.
196 :     \newblock {\em The definition of {Standard} {ML}}.
197 :     \newblock MIT Press, Cambridge, Massachusetts, 1990.
198 :    
199 :     \bibitem{Nik90a}
200 :     R.~S. Nikhil.
201 :     \newblock {ID} version 90.0 reference manual.
202 :     \newblock Computation Structures Group Memo 284-1, Laboratory for Comp. Sci,
203 :     MIT, Cambridge Massachusetts, Sep 1990.
204 :    
205 :     \bibitem{Pey87}
206 :     S.~L. {Peyton Jones}.
207 :     \newblock {\em The implementation of functional programming languages}.
208 :     \newblock Prentice Hall, Englewood Cliffs, New Jersey, 1987.
209 :    
210 :     \bibitem{Pey93c}
211 :     S.~L. {Peyton Jones}, C.~V. Hall, K.~Hammond, W.~D. Partain, and P.~L. Wadler.
212 :     \newblock The glasgow {Haskell} compiler: a technical overview.
213 :     \newblock In {\em Proc Joint Framework for Information Technology ({JFIT})
214 :     Conference}, pages ???--???, Keele, England, Mar 1993.
215 :    
216 :     \bibitem{Pey91b}
217 :     S.~L. {Peyton Jones} and J.~Launchbury.
218 :     \newblock Unboxed values as first class citizens in a non-strict functional
219 :     language.
220 :     \newblock In R.~J.~M. Hughes, editor, {\em 5th Functional programming languages
221 :     and computer architecture, {LNCS} 523}, pages 636--666, Cambridge,
222 :     Massachusetts, Sep 1991. Springer-Verlag, Berlin.
223 :    
224 :     \bibitem{Pla94}
225 :     M.~J. Plasmeijer and M.~C. J.~D. van Eekelen.
226 :     \newblock {\em {Concurrent {Clean}} - version 1.0 - Language Reference Manual,
227 :     draft version}.
228 :     \newblock Dept. of Comp. Sci, Univ. of Nijmegen, The Netherlands, Jun 1994.
229 :    
230 :     \bibitem{Ran87}
231 :     J.~E. Ranelletti.
232 :     \newblock {\em Graph transformation algorithms for array memory memory
233 :     optimization in applicative languages}.
234 :     \newblock PhD thesis, Comp. Sci. Dept, Univ. of California at Davis,
235 :     California, Nov 1987.
236 :    
237 :     \bibitem{Ree91}
238 :     J.~A. Rees and W.~Clinger.
239 :     \newblock {\em Revised$^4$ Report on the Algorithmic Language {{S}}cheme}.
240 :     \newblock MIT, Cambridge, Massachusetts, Nov 1991.
241 :    
242 :     \bibitem{Roj94}
243 :     N.~R\"ojemo.
244 :     \newblock Nhc - nearly a {Haskell} compiler.
245 :     \newblock Technical report in preparation, Dept. of Computing Science, Chalmers
246 :     Univ., 1994.
247 :    
248 :     \bibitem{San93}
249 :     P.~M. Sansom and S.~L. {Peyton Jones}.
250 :     \newblock Generational garbage collection for {Haskell}.
251 :     \newblock In {\em 6th Functional programming languages and computer
252 :     architecture}, pages 106--116, Copenhagen, Denmark, Jun 1993. ACM.
253 :    
254 :     \bibitem{Sch91}
255 :     W.~Schulte and W.~Grieskamp.
256 :     \newblock Generating efficient portable code for a strict applicative language.
257 :     \newblock In J.~Darlington and R.~Dietrich, editors, {\em Phoenix Seminar and
258 :     Workshop on Declarative Programming}, pages 239--252, Sasbachwalden, West
259 :     Germany, Nov 1991. Springer-Verlag, Berlin.
260 :    
261 :     \bibitem{Ser94a}
262 :     M.~Serrano.
263 :     \newblock {\em Bigloo 1.7 user's manual}.
264 :     \newblock INRIA Rocquencourt, France (to appear), 1994.
265 :    
266 :     \bibitem{Ser94b}
267 :     M.~Serrano and P.~Weis.
268 :     \newblock $1+1=1$: an optimizing {Caml} compiler.
269 :     \newblock In {\em {ACM-SIGPLAN} Workshop on {ML} and its applications}, pages
270 :     101--111. Research report 2265, INRIA Rocquencourt, France, Nun 1994.
271 :    
272 :     \bibitem{Sha94}
273 :     Z.~Shao.
274 :     \newblock {\em Compiling {Standard} {ML} for Efficient Execution on Modern
275 :     Machines}.
276 :     \newblock PhD thesis, Princeton Univ, Princeton, New Jersey, Nov 1994.
277 :    
278 :     \bibitem{Sme91}
279 :     S.~Smetsers, E.~G. J. M.~H. N\"{o}cker, J.~van Groningen, and M.~J. Plasmeijer.
280 :     \newblock Generating efficient code for lazy functional languages.
281 :     \newblock In R.~J.~M. Hughes, editor, {\em 5th Functional programming languages
282 :     and computer architecture, {LNCS} 523}, pages 592--617, Cambridge,
283 :     Massachusetts, Sep 1991. Springer-Verlag, Berlin.
284 :    
285 :     \bibitem{Ste90}
286 :     G.~L. {Steele Jr}.
287 :     \newblock {\em Common {Lisp} the Language}.
288 :     \newblock Digital Press, Bedford, second edition, 1990.
289 :    
290 :     \bibitem{Tho93a}
291 :     B.~Thomsen, L.~Leth, S.~Prasad, T.-S. Kuo, A.~Kramer, F.~Knabe, and
292 :     A.~Giacalone.
293 :     \newblock Facile antigua release -- programming guide.
294 :     \newblock Technical report ECRC-93-20, European Computer-Industry Research
295 :     Centre, Munich, Germany (The reference manual and license agreement are
296 :     available by anonymous ftp from ftp.ecrc.de.), 1993.
297 :    
298 :     \bibitem{Tur85}
299 :     D.~A. Turner.
300 :     \newblock {Miranda}: A non-strict functional language with polymorphic types.
301 :     \newblock In J.-P. Jouannaud, editor, {\em 2nd Functional programming languages
302 :     and computer architecture, {LNCS} 201}, pages 1--16, Nancy, France, Sep 1985.
303 :     Springer-Verlag, Berlin.
304 :    
305 :     \bibitem{Tur90a}
306 :     D.~A. Turner.
307 :     \newblock {\em {Miranda} system manual}.
308 :     \newblock Research Software Ltd, 23 St Augustines Road, Canterbury, Kent CT1
309 :     1XP, England, Apr 1990.
310 :    
311 :     \bibitem{Wad90b}
312 :     P.~L. Wadler.
313 :     \newblock Deforestation: transforming programs to eliminate trees.
314 :     \newblock {\em Theoretical Computer Science}, 73(2):231--248, 1990.
315 :    
316 :     \bibitem{Wei93}
317 :     P.~Weis and X.~Leroy.
318 :     \newblock {\em Le langage {Caml}}.
319 :     \newblock Inter\'Editions, 1993.
320 :    
321 :     \bibitem{Wen91}
322 :     E.~P. Wentworth.
323 :     \newblock Code generation for a lazy functional language.
324 :     \newblock Technical report 91/19, Dept. of Comp. Sci, Rhodes Univ., Dec 1991.
325 :    
326 :     \bibitem{Wen92}
327 :     {E. P}. Wentworth.
328 :     \newblock {RUFL} reference manual.
329 :     \newblock Technical report 92/1, Dept. of Comp. Sci, Rhodes Univ., Jan 1992.
330 :    
331 :     \end{thebibliography}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0