Updated part about polymorhism, now mentions the types of polymorphism by their corre...
[matthijs/master-project/dsd-paper.git] / clash.bib
1 % This file was created with JabRef 2.5.
2 % Encoding: MacRoman
3
4 @INPROCEEDINGS{Wired,
5   author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
6   title = {{Wired: Wire-Aware Circuit Design}},
7   booktitle = {{Proceedings of Conference on Correct Hardware Design and Veri√ěcation
8         Methods (CHARME)}},
9   year = {2005},
10   volume = {3725},
11   series = {{Lecture Notes in Computer Science}},
12   pages = {{5--19}},
13   publisher = {Springer Verlag},
14   owner = {darchon},
15   timestamp = {2010.01.21}
16 }
17
18 @INPROCEEDINGS{Lava,
19   author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam},
20   title = {{Lava: hardware design in Haskell}},
21   booktitle = {{ICFP '98: Proceedings of the third ACM SIGPLAN international conference
22         on Functional programming}},
23   year = {1998},
24   pages = {174--184},
25   address = {New York, NY, USA},
26   publisher = {ACM},
27   doi = {http://doi.acm.org/10.1145/289423.289440},
28   isbn = {1-58113-024-4},
29   location = {Baltimore, Maryland, United States},
30   owner = {darchon},
31   timestamp = {2010.01.20}
32 }
33
34 @INPROCEEDINGS{Cardelli1981,
35   author = {Luca Cardelli and Gordon Plotkin},
36   title = {{An Algebraic Approach to VLSI Design}},
37   booktitle = {{Proceedings of the VLSI 81 International Conference}},
38   year = {1981},
39   pages = {173-182},
40   owner = {darchon},
41   timestamp = {2010.01.25}
42 }
43
44 @INPROCEEDINGS{Hawk2,
45   author = {Byron Cook and John Launchbury and John Matthews},
46   title = {{Specifying superscalar microprocessors in Hawk}},
47   booktitle = {{Formal Techniques for Hardware and Hardware-like Systems}},
48   year = {1998},
49   owner = {darchon},
50   timestamp = {2010.01.20}
51 }
52
53 @ARTICLE{reFLect,
54   author = {Grundy,Jim and Melham,Tom and O'Leary,John},
55   title = {{A reflective functional language for hardware design and theorem
56         proving}},
57   journal = {Journal of Functional Programming},
58   year = {2006},
59   volume = {16},
60   pages = {157-196},
61   number = {02},
62   doi = {10.1017/S0956796805005757},
63   owner = {darchon},
64   timestamp = {2010.01.21}
65 }
66
67 @INPROCEEDINGS{DAISY,
68   author = {Johnson, Steven D.},
69   title = {Applicative programming and digital design},
70   booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on
71         Principles of programming languages},
72   year = {1984},
73   pages = {218--227},
74   address = {New York, NY, USA},
75   publisher = {ACM},
76   doi = {http://doi.acm.org/10.1145/800017.800533},
77   isbn = {0-89791-125-3},
78   location = {Salt Lake City, Utah, United States},
79   owner = {darchon},
80   timestamp = {2010.01.25}
81 }
82
83 @INPROCEEDINGS{Ruby,
84   author = {Jones, G. and Sheeran, M.},
85   title = {{Circuit Design in Ruby}},
86   booktitle = {{Formal Methods for VLSI Design}},
87   year = {1990},
88   address = {Lyngby, Denmark},
89   publisher = {Elsevier Science Publishers},
90   citeulike-article-id = {304676},
91   journal = {Circuit Design in Ruby},
92   keywords = {jones90},
93   owner = {darchon},
94   posted-at = {2005-08-26 18:08:07},
95   priority = {0},
96   timestamp = {2010.01.20}
97 }
98
99 @ARTICLE{HML2,
100   author = {Yanbing Li and Leeser, M.},
101   title = {{HML, a novel hardware description language and its translation to
102         VHDL}},
103   journal = {{Very Large Scale Integration (VLSI) Systems, IEEE Transactions on}},
104   year = {2000},
105   volume = {8},
106   pages = {1-8},
107   number = {1},
108   month = {Feb},
109   doi = {10.1109/92.820756},
110   issn = {1063-8210},
111   keywords = {ML language, hardware description languages, type theoryHML, SML functional
112         programming language, VHDL translation, digital design, hardware
113         description language, polymorphic type, translator, type checker,
114         type inference},
115   owner = {darchon},
116   timestamp = {2010.01.20}
117 }
118
119 @INPROCEEDINGS{HML1,
120   author = {Yanbing Li and Leeser, M.},
121   title = {{HML: an innovative hardware description language and its translation
122         to VHDL}},
123   booktitle = {{Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL
124         '95/VLSI '95., IFIP International Conference on Hardware Description
125         Languages; IFIP International Conference on Very Large Scale Integration.,
126         Asian and South Pacific}},
127   year = {1995},
128   pages = {691-696},
129   month = {Aug-1 Sep},
130   doi = {10.1109/ASPDAC.1995.486388},
131   keywords = {abstract data types, functional languages, functional programming,
132         hardware description languagesHML, VHDL, advanced type checking,
133         functional programming language, hardware description language, polymorphic
134         types, type inference},
135   owner = {darchon},
136   timestamp = {2010.01.20}
137 }
138
139 @INPROCEEDINGS{FL,
140   author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
141   title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
142         and Theorem Proving}},
143   booktitle = {{Proceedings of 12th International Conference on Theorem Proving
144         in Higher Order Logics}},
145   year = {1999},
146   volume = {1690},
147   series = {LNCS},
148   pages = {323-340},
149   publisher = {Springer Verlag},
150   owner = {darchon},
151   timestamp = {2010.01.26}
152 }
153
154 @INPROCEEDINGS{Hawk1,
155   author = {Matthews, J. and Cook, B. and Launchbury, J.},
156   title = {{Microprocessor specification in Hawk}},
157   booktitle = {{Proceedings of 1998 International Conference on Computer Languages}},
158   year = {1998},
159   pages = {90-101},
160   month = {May},
161   abstract = {Modern microprocessors require an immense investment of time and effort
162         to create and verify, from the high level architectural design downwards.
163         We are exploring ways to increase the productivity of design engineers
164         by creating a domain specific language for specifying and simulating
165         processor architectures. We believe that the structuring principles
166         used in modern functional programming languages, such as static typing,
167         parametric polymorphism, first class functions, and lazy evaluation
168         provide a good formalism for such a domain specific language, and
169         have made initial progress by creating a library on top of the functional
170         language Haskell. We have specified the integer subset of an out
171         of order, superscalar DLX microprocessor, with register renaming,
172         a reorder buffer, a global reservation station, multiple execution
173         units, and speculative branch execution. Two key abstractions of
174         this library are the signal abstract data type (ADT), which models
175         the simulation history of a wire, and the transaction ADT, which
176         models the state of an entire instruction as it travels through the
177         microprocessor},
178   doi = {10.1109/ICCL.1998.674160},
179   issn = {1074-8970},
180   keywords = {abstract data types, formal specification, functional languages, functional
181         programming, hardware description languages, microprocessor chips,
182         software librariesHawk language, design engineers, domain specific
183         language, first class functions, functional language Haskell, functional
184         programming languages, global reservation station, high level architectural
185         design, integer subset, lazy evaluation, microprocessor specification,
186         multiple execution units, out of order superscalar DLX microprocessor,
187         parametric polymorphism, processor architecture simulation, register
188         renaming, reorder buffer, signal abstract data type, simulation history,
189         software library, speculative branch execution, static typing,, structuring
190         principles, transaction ADT},
191   owner = {darchon},
192   timestamp = {2010.01.20}
193 }
194
195 @INPROCEEDINGS{FHDL,
196   author = {Meshkinpour, F. and Ercegovac, M. D.},
197   title = {A functional language for description and design of digital systems:
198         sequential constructs},
199   booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
200   year = {1985},
201   pages = {238--244},
202   address = {New York, NY, USA},
203   publisher = {ACM},
204   doi = {http://doi.acm.org/10.1145/317825.317865},
205   isbn = {0-8186-0635-5},
206   location = {Las Vegas, Nevada, United States},
207   owner = {darchon},
208   timestamp = {2010.01.25}
209 }
210
211 @INPROCEEDINGS{Hydra,
212   author = {John O'Donnell},
213   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
214         Specification in Hydra}},
215   booktitle = {{Proceedings of the First International Symposium on Funtional Programming
216         Languages in Education}},
217   year = {1995},
218   volume = {1022},
219   series = {Lecture Notes in Computer Science},
220   pages = {195--214},
221   publisher = {Springer-Verlag},
222   owner = {darchon},
223   timestamp = {2010.01.21}
224 }
225
226 @ARTICLE{ForSyDe2,
227   author = {Ingo Sander and Axel Jantsch},
228   title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
229   journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
230         and Systems}},
231   year = {2004},
232   volume = {23},
233   pages = {17--32},
234   number = {1},
235   month = {January},
236   key = {ForSyDe},
237   owner = {darchon},
238   timestamp = {2010.01.21}
239 }
240
241 @INPROCEEDINGS{ForSyDe1,
242   author = {Sander, Ingo and Jantsch, Axel},
243   title = {{Transformation based communication and clock domain refinement for
244         system design}},
245   booktitle = {{DAC '02: Proceedings of the 39th annual Design Automation Conference}},
246   year = {2002},
247   pages = {281--286},
248   address = {New York, NY, USA},
249   publisher = {ACM},
250   doi = {http://doi.acm.org/10.1145/513918.513992},
251   isbn = {1-58113-461-4},
252   location = {New Orleans, Louisiana, USA},
253   owner = {darchon},
254   timestamp = {2010.01.20}
255 }
256
257 @INPROCEEDINGS{T-Ruby,
258   author = {Sharp, Robin and Rasmussen, Ole},
259   title = {{Using a language of functions and relations for VLSI specification}},
260   booktitle = {FPCA '95: Proceedings of the seventh international conference on
261         Functional programming languages and computer architecture},
262   year = {1995},
263   pages = {45--54},
264   address = {New York, NY, USA},
265   publisher = {ACM},
266   doi = {http://doi.acm.org/10.1145/224164.224180},
267   isbn = {0-89791-719-7},
268   location = {La Jolla, California, United States},
269   owner = {darchon},
270   timestamp = {2010.01.21}
271 }
272
273 @INPROCEEDINGS{muFP,
274   author = {Sheeran, Mary},
275   title = {{$\mu$FP, a language for VLSI design}},
276   booktitle = {{LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional
277         programming}},
278   year = {1984},
279   pages = {104--112},
280   address = {New York, NY, USA},
281   publisher = {ACM},
282   doi = {http://doi.acm.org/10.1145/800055.802026},
283   isbn = {0-89791-142-3},
284   location = {Austin, Texas, United States},
285   owner = {darchon},
286   timestamp = {2010.01.20}
287 }
288
289 @MISC{polymorphism,
290   author = {Strachey, Christopher},
291   title = {Fundamental Concepts in Programming Languages},
292   howpublished = {Lecture Notes, International Summer School in Computer Programming,
293         Copenhagen},
294   month = August,
295   year = {1967},
296   note = {Reprinted in {\em Higher-Order and Symbolic Computation}, 13(1/2),
297         pp. 1--49, 2000},
298   owner = {baaijcpr},
299   timestamp = {2010.02.24}
300 }
301
302 @BOOK{Haskell,
303   title = {{Haskell 98 language and libraries}},
304   year = {2003},
305   editor = {Simon Peyton Jones},
306   volume = {13},
307   number = {1},
308   pages = {1--255},
309   series = {{Journal of Functional Programming}},
310   booktitle = {{Journal of Functional Programming}},
311   journal = {Journal of Functional Programming},
312   owner = {darchon},
313   timestamp = {2010.01.29}
314 }
315
316 @STANDARD{VHDL2008,
317   title = {{VHDL Language Reference Manual}},
318   organization = {IEEE},
319   number = {1076-2008},
320   year = {2008},
321   owner = {darchon},
322   timestamp = {2009.11.17}
323 }
324
325 @STANDARD{Verilog,
326   title = {{Verilog Hardware Description Languages}},
327   organization = {{IEEE}},
328   number = {1365-2005},
329   year = {2005},
330   owner = {darchon},
331   timestamp = {2010.01.29}
332 }
333
334 @comment{jabref-meta: selector_publisher:}
335
336 @comment{jabref-meta: selector_author:}
337
338 @comment{jabref-meta: selector_journal:}
339
340 @comment{jabref-meta: selector_keywords:}
341