aurels-rbib 1.0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,70 @@
1
+ require 'bibtex/entry'
2
+ require 'test/unit'
3
+
4
+ class TestEntry < Test::Unit::TestCase
5
+ include BibTeX
6
+
7
+ def setup
8
+ @e = Entry.new(EntryType::Book, 'foo01')
9
+ end
10
+
11
+ def test_basic
12
+ assert_equal EntryType::Book, @e.type
13
+ assert_equal 'foo01', @e.key
14
+ end
15
+
16
+ def add_default_fields
17
+ @e.add_field :author, 'C. Doof'
18
+ @e.add_field :year, 2007
19
+ @e.add_field Field.new(:url, 'www.doof.me.uk')
20
+ end
21
+
22
+ def test_fields
23
+ add_default_fields
24
+
25
+ assert_equal 'C. Doof', @e[:author]
26
+ assert_equal 2007, @e[:year]
27
+ assert_equal 'www.doof.me.uk', @e[:url]
28
+ end
29
+
30
+ def test_to_s
31
+ add_default_fields
32
+
33
+ expect = <<END
34
+ @book{foo01,
35
+ author = {C. Doof},
36
+ url = {www.doof.me.uk},
37
+ year = {2007}
38
+ }
39
+
40
+ END
41
+ assert_equal expect, @e.to_s
42
+ end
43
+
44
+ def test_reject
45
+ add_default_fields
46
+
47
+ expect = <<END
48
+ @book{foo01,
49
+ author = {C. Doof},
50
+ year = {2007}
51
+ }
52
+
53
+ END
54
+ r = @e.reject_fields [:url]
55
+ assert_equal expect, r.to_s
56
+ end
57
+
58
+ def test_select
59
+ add_default_fields
60
+
61
+ expect = <<END
62
+ @book{foo01,
63
+ url = {www.doof.me.uk}
64
+ }
65
+
66
+ END
67
+ r = @e.select_fields [:url]
68
+ assert_equal expect, r.to_s
69
+ end
70
+ end
@@ -0,0 +1,17 @@
1
+ require 'bibtex/field'
2
+ require 'test/unit'
3
+
4
+ class TestField < Test::Unit::TestCase
5
+ include BibTeX
6
+
7
+ def test_basic
8
+ f = Field.new(:author, 'C. Doof')
9
+ assert_equal :author, f.key
10
+ assert_equal 'C. Doof', f.value
11
+ end
12
+
13
+ def test_to_s
14
+ f = Field.new(:author, 'C. Doof')
15
+ assert_equal 'author = {C. Doof}', f.to_s
16
+ end
17
+ end
@@ -0,0 +1,116 @@
1
+ require 'bibtex/lexer'
2
+ require 'test/unit'
3
+
4
+ class TestLexer < Test::Unit::TestCase
5
+ include BibTeX
6
+
7
+ def test_basic
8
+ l = Lexer.new do |rules|
9
+ rules.match /a/, :a
10
+ rules.match /b+/, :bs
11
+ rules.match /\s+/, :space
12
+ rules.match /hello/, :hello
13
+ end
14
+ l.feed 'aabbb hello'
15
+
16
+ assert_equal :a, l.next_token!
17
+ assert_equal :a, l.next_token!
18
+ assert_equal :bs, l.next_token!
19
+ assert_equal :space, l.next_token!
20
+ assert_equal :hello, l.peek_token
21
+ assert_equal 'hello', l.peek_lval
22
+ assert_equal :hello, l.next_token!
23
+
24
+ assert (not l.more_tokens?)
25
+ assert_raise LexerError do
26
+ l.next_token!
27
+ end
28
+ end
29
+
30
+ def test_prec
31
+ l = Lexer.new do |rules|
32
+ rules.match /a/, :aye
33
+ rules.match /a+/, :bad
34
+ rules.match /.*/, :other
35
+ end
36
+ l.feed 'aa'
37
+ assert_equal :aye, l.next_token!
38
+ assert_equal :aye, l.next_token!
39
+ assert (not l.more_tokens?)
40
+ end
41
+
42
+ def test_whitespace
43
+ l = Lexer.new(false) do |rules|
44
+ rules.match /\w+/, :word
45
+ end
46
+ l.feed " hello\t\n world "
47
+
48
+ assert (not l.ignore_whitespace)
49
+ l.ignore_whitespace = true
50
+
51
+ assert_equal :word, l.next_token!
52
+ assert_equal 'hello', l.lval
53
+ assert_equal :word, l.next_token!
54
+ assert_equal 'world', l.lval
55
+ assert (not l.more_tokens?)
56
+ end
57
+
58
+ def test_src_pos
59
+ l = Lexer.new do |rules|
60
+ rules.match /a/, :a
61
+ rules.match /\n/, :newline
62
+ end
63
+ l.feed 'aaaab'
64
+
65
+ 4.times { l.next_token! }
66
+ begin
67
+ l.next_token!
68
+ flunk 'No exception raised'
69
+ rescue LexerError => e
70
+ assert_kind_of SourcePos, e.src_pos
71
+ assert_equal 1, e.src_pos.line
72
+ assert_equal 4, e.src_pos.column
73
+ end
74
+
75
+ l.ignore_newlines = false
76
+ l.feed "aa\nab"
77
+
78
+ l.file_name = 'My File'
79
+
80
+ 2.times { l.next_token! }
81
+ assert_equal :newline, l.next_token!
82
+ assert_equal :a, l.next_token!
83
+ begin
84
+ l.next_token!
85
+ flunk 'No error raised'
86
+ rescue LexerError => e
87
+ assert_equal 2, e.src_pos.line
88
+ assert_equal 1, e.src_pos.column
89
+ assert_equal 'My File', e.src_pos.file
90
+ end
91
+ end
92
+
93
+ def test_literals
94
+ l = Lexer.new do |rules|
95
+ rules.literals [:aye, :bee]
96
+ end
97
+ l.feed 'ayebeebee'
98
+
99
+ assert_equal :aye, l.next_token!
100
+ assert_equal :bee, l.next_token!
101
+ assert_equal :bee, l.next_token!
102
+ end
103
+
104
+ def test_refeed
105
+ l = Lexer.new do |rules|
106
+ rules.match /a/, :a
107
+ rules.match /b/, :b
108
+ end
109
+ l.feed 'aaa'
110
+
111
+ assert_equal :a, l.next_token!
112
+ l.feed 'bb'
113
+ assert l.more_tokens?
114
+ assert_equal :b, l.next_token!
115
+ end
116
+ end
@@ -0,0 +1,27 @@
1
+ require 'bibtex/parser'
2
+ require 'test/unit'
3
+
4
+ class TestParser < Test::Unit::TestCase
5
+ include BibTeX
6
+
7
+ def test_basic
8
+ b = Parser.parse 'example.bib'
9
+
10
+ ryan98 = b['ryan98']
11
+ assert_kind_of Entry, ryan98
12
+ assert_equal EntryType::Article, ryan98.type
13
+ assert_equal 1998, ryan98[:year].to_i
14
+
15
+ heys01 = b['heys01']
16
+ assert_equal "March", heys01[:month]
17
+ assert_equal 2001, heys01[:year].to_i
18
+ end
19
+
20
+ def test_parse_reparse
21
+ fname = '/tmp/example.bib.stripped'
22
+ b = Parser.parse 'example.bib'
23
+ b.save fname
24
+ Parser.parse fname
25
+ File.delete fname
26
+ end
27
+ end
@@ -0,0 +1,753 @@
1
+ @book{clr2,
2
+ author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald L. and Stein, Clifford },
3
+ citeulike-article-id = {2722440},
4
+ edition = {Second},
5
+ keywords = {algorithms},
6
+ posted-at = {2008-04-26 20:50:39},
7
+ priority = {2},
8
+ publisher = {MIT Press},
9
+ title = {Introduction to Algorithms},
10
+ year = {2001}
11
+ }
12
+
13
+
14
+
15
+ @techreport{heys01,
16
+ author = {Heys, H. M. },
17
+ citeulike-article-id = {2721821},
18
+ institution = {Centre for Applied Cryptographic Research, Department of Combinatorics and Optimization, University of Waterloo},
19
+ keywords = {cryptography},
20
+ month = March,
21
+ posted-at = {2008-04-26 15:01:56},
22
+ priority = {0},
23
+ title = {A Tutorial on Linear and Differential Cryptanalysis},
24
+ year = 2001
25
+ }
26
+
27
+
28
+
29
+ @article{petri89,
30
+ author = {Murata, Tadao },
31
+ citeulike-article-id = {2697334},
32
+ journal = {Proceedings of the IEEE},
33
+ keywords = {semantics},
34
+ month = {April},
35
+ number = {4},
36
+ pages = {541--580},
37
+ posted-at = {2008-04-21 18:28:17},
38
+ priority = {2},
39
+ title = {Petri nets: Properties, analysis and applications},
40
+ volume = {77},
41
+ year = {1989}
42
+ }
43
+
44
+
45
+
46
+ @book{sem07,
47
+ author = {Nielson, Hanne R. and Nielson, Flemming },
48
+ citeulike-article-id = {2696993},
49
+ keywords = {semantics},
50
+ posted-at = {2008-04-21 16:55:04},
51
+ priority = {2},
52
+ publisher = {Springer},
53
+ title = {Semantics with Applications: An Appetizer},
54
+ year = {2007}
55
+ }
56
+
57
+
58
+
59
+ @inproceedings{add02,
60
+ author = {Bass, L. and Klein, M. and Bachmann, F. },
61
+ booktitle = {Software Product-Family Engineering: 4th International Workshop},
62
+ citeulike-article-id = {2693208},
63
+ keywords = {sw-arch},
64
+ posted-at = {2008-04-20 17:04:21},
65
+ priority = {1},
66
+ publisher = {Springer},
67
+ title = {Quality Attribute Design Primitives and the Attribute Driven Design Method},
68
+ year = {2002}
69
+ }
70
+
71
+
72
+
73
+ @inproceedings{cbam03,
74
+ author = {Moore, M. and Kaman, R. and Klein, M. and Asundi, J. },
75
+ booktitle = {25th International Conference on Software Engineering},
76
+ citeulike-article-id = {2693201},
77
+ keywords = {sw-arch},
78
+ pages = {557--562},
79
+ posted-at = {2008-04-20 17:02:20},
80
+ priority = {1},
81
+ title = {Quantifying the Value of Architecture Design Decisions: Lessons from the Field},
82
+ year = {2003}
83
+ }
84
+
85
+
86
+
87
+ @article{kaz99,
88
+ author = {Kazman, Rick and Carri\`{e}re1, Jeromy S. },
89
+ citeulike-article-id = {2693195},
90
+ journal = {Automated Software Engineering},
91
+ keywords = {sw-arch},
92
+ month = {April},
93
+ number = {2},
94
+ pages = {107--138},
95
+ posted-at = {2008-04-20 16:57:46},
96
+ priority = {1},
97
+ title = {Playing Detective: Reconstructing Software Architecture from Available Evidence},
98
+ volume = {6},
99
+ year = {1999}
100
+ }
101
+
102
+
103
+
104
+ @book{hof99,
105
+ author = {Hofmeister, Christine and Nord, Robert and Soni, Dilip },
106
+ citeulike-article-id = {2690598},
107
+ keywords = {sw-arch},
108
+ posted-at = {2008-04-19 13:15:58},
109
+ priority = {1},
110
+ publisher = {Addison-Wesley},
111
+ title = {Applied software architecture},
112
+ year = {1999}
113
+ }
114
+
115
+
116
+
117
+ @book{sei03,
118
+ author = {Bass, Len and Clements, Paul and Kazman, Rick },
119
+ citeulike-article-id = {2688011},
120
+ edition = {Second},
121
+ keywords = {sw-arch},
122
+ posted-at = {2008-04-18 14:57:36},
123
+ priority = {2},
124
+ publisher = {Addison-Wesley},
125
+ title = {Software Architecture in Practice},
126
+ year = {2003}
127
+ }
128
+
129
+
130
+
131
+ @book{beck03,
132
+ author = {Beck, Kent },
133
+ citeulike-article-id = {2678503},
134
+ journal = {Addison-Wesley},
135
+ keywords = {sw-eng},
136
+ posted-at = {2008-04-16 17:41:58},
137
+ priority = {0},
138
+ publisher = {Addison-Wesley},
139
+ title = {Test-Driven Development by Example},
140
+ year = {2003}
141
+ }
142
+
143
+
144
+
145
+ @book{thompson99,
146
+ author = {Thompson, Simon },
147
+ citeulike-article-id = {2678500},
148
+ keywords = {haskell},
149
+ posted-at = {2008-04-16 17:41:01},
150
+ priority = {2},
151
+ publisher = {Addison-Wesley},
152
+ title = {Haskell: The Craft of Functional Programming},
153
+ year = {1999}
154
+ }
155
+
156
+
157
+
158
+ @book{tiger,
159
+ author = {Appel, Andrew W. },
160
+ citeulike-article-id = {2678496},
161
+ keywords = {compilers},
162
+ posted-at = {2008-04-16 17:39:34},
163
+ priority = {2},
164
+ publisher = {Cambridge University Press},
165
+ title = {Modern Compiler Implementation in ML},
166
+ year = {1998}
167
+ }
168
+
169
+
170
+
171
+ @manual{xildev,
172
+ author = {Xilinx},
173
+ citeulike-article-id = {2670151},
174
+ organization = {Xilinx},
175
+ posted-at = {2008-04-14 18:46:26},
176
+ priority = {2},
177
+ title = {Development System Reference Guide},
178
+ year = {2007}
179
+ }
180
+
181
+
182
+
183
+ @inproceedings{golson93,
184
+ author = {Golson, Steve },
185
+ booktitle = {3rd PLD Design Conference},
186
+ citeulike-article-id = {2663349},
187
+ keywords = {digital-logic, fpgas, hdls},
188
+ month = {March},
189
+ posted-at = {2008-04-13 12:01:55},
190
+ priority = {0},
191
+ title = {One-hot state machine design for {FPGAs}},
192
+ year = {1993}
193
+ }
194
+
195
+
196
+
197
+ @techreport{parsec01,
198
+ author = {Leijen, Daan and Meijer, Erik },
199
+ citeulike-article-id = {2662226},
200
+ institution = {Departement of Computer Science, Universiteit Utrecht},
201
+ keywords = {haskell, parsing},
202
+ posted-at = {2008-04-12 21:38:39},
203
+ priority = {2},
204
+ title = {{Parsec: Direct Style Monadic Parser Combinators for the Real World}},
205
+ year = {2001}
206
+ }
207
+
208
+
209
+
210
+ @article{wallace99,
211
+ author = {Wallace, Malcolm and Runciman, Colin },
212
+ citeulike-article-id = {2659883},
213
+ journal = {ACM SIGPLAN Notices},
214
+ keywords = {haskell},
215
+ month = {September},
216
+ number = {9},
217
+ pages = {148--159},
218
+ posted-at = {2008-04-12 11:46:56},
219
+ priority = {2},
220
+ title = {Haskell and {XML}: generic combinators or type-based translation?},
221
+ volume = {34},
222
+ year = {1999}
223
+ }
224
+
225
+
226
+
227
+ @inproceedings{shaw01,
228
+ author = {Shaw, Mary },
229
+ booktitle = {Proceedings of the 23rd International Conference on Software Engineering},
230
+ citeulike-article-id = {2647331},
231
+ keywords = {sw-arch},
232
+ organization = {IEEE Computer Society},
233
+ pages = {656--664},
234
+ posted-at = {2008-04-09 22:32:17},
235
+ priority = {0},
236
+ title = {The Coming-of-Age of Software Architecture Research},
237
+ year = {2001}
238
+ }
239
+
240
+
241
+
242
+ @article{quickcheck00,
243
+ author = {Claessen, Koen and Hughes, John },
244
+ citeulike-article-id = {2515168},
245
+ journal = {Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN.},
246
+ keywords = {haskell},
247
+ posted-at = {2008-03-11 14:37:58},
248
+ priority = {2},
249
+ title = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},
250
+ year = {2000}
251
+ }
252
+
253
+
254
+
255
+ @book{sommerville,
256
+ author = {Sommerville, Ian },
257
+ citeulike-article-id = {2457343},
258
+ edition = {Seventh},
259
+ keywords = {sw-eng},
260
+ posted-at = {2008-03-02 13:14:39},
261
+ priority = {2},
262
+ publisher = {Addison Wesley},
263
+ title = {Software Engineering},
264
+ year = {2004}
265
+ }
266
+
267
+
268
+
269
+ @techreport{pdrtut,
270
+ author = {Braeckman, Geert and Van den Branden, Gerd and Touhafi, Abdellah and Van Dessel, Geoffroy },
271
+ citeulike-article-id = {2425763},
272
+ institution = {Erasmushogeschool Brussel, dept. IWT},
273
+ keywords = {fpgas},
274
+ month = {July},
275
+ posted-at = {2008-02-25 15:01:50},
276
+ priority = {0},
277
+ title = {Module Based Partial Reconfiguration: a Quick Tutorial},
278
+ url = {http://elektronica.ehb.be/reco/PartialTutorial.htm},
279
+ year = {2004}
280
+ }
281
+
282
+
283
+
284
+ @inproceedings{ward01,
285
+ author = {Ward, M. and Audsley, N. C. },
286
+ booktitle = {Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems},
287
+ citeulike-article-id = {2421111},
288
+ keywords = {hw-compilation},
289
+ pages = {99--107},
290
+ posted-at = {2008-02-24 11:17:25},
291
+ priority = {0},
292
+ publisher = {ACM},
293
+ title = {Hardware compilation of sequential {Ada}},
294
+ year = {2001}
295
+ }
296
+
297
+
298
+
299
+ @inproceedings{ward02,
300
+ author = {Ward, M. and Audsley, N. C. },
301
+ booktitle = {Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems},
302
+ citeulike-article-id = {2421108},
303
+ keywords = {hw-compilation},
304
+ pages = {59--68},
305
+ posted-at = {2008-02-24 11:15:19},
306
+ priority = {0},
307
+ publisher = {ACM},
308
+ title = {Hardware implementation of the Ravenscar Ada tasking profile},
309
+ year = {2002}
310
+ }
311
+
312
+
313
+
314
+ @book{verilog,
315
+ author = {Ciletti, Michael D. },
316
+ citeulike-article-id = {2418847},
317
+ keywords = {hdls},
318
+ posted-at = {2008-02-23 17:16:28},
319
+ priority = {1},
320
+ publisher = {Prentice Hall},
321
+ title = {Modeling, synthesis, and rapid prototyping with the Verilog HDL},
322
+ year = {1999}
323
+ }
324
+
325
+
326
+
327
+ @mastersthesis{cleary05,
328
+ author = {Cleary, Robert },
329
+ citeulike-article-id = {2305200},
330
+ keywords = {nsc},
331
+ posted-at = {2008-01-29 21:05:05},
332
+ priority = {1},
333
+ school = {University of Limerick},
334
+ title = {Extending Grammatical Evolution with Attribute Grammars: An Application to Knapsack Problems},
335
+ year = {2005}
336
+ }
337
+
338
+
339
+
340
+ @article{ryan98,
341
+ author = {Ryan, Connor and Collins, J. J. and O'Neill, Micheal },
342
+ citeulike-article-id = {2305042},
343
+ journal = {Proceedings of the First European Workshop on Genetic Programming},
344
+ keywords = {nsc},
345
+ posted-at = {2008-01-29 20:08:42},
346
+ priority = {0},
347
+ title = {Grammatical Evolution: Evolving Programs for an Arbitrary Language},
348
+ year = "1998"
349
+ }
350
+
351
+
352
+
353
+ @incollection{music04,
354
+ author = {Chemillier, Marc },
355
+ booktitle = {Formal Systems and Music},
356
+ citeulike-article-id = {2305022},
357
+ editor = {Caffagna, V. and Chemillier, M. },
358
+ journal = {Soft Computing},
359
+ keywords = {music},
360
+ posted-at = {2008-01-29 19:58:39},
361
+ priority = {0},
362
+ publisher = {Springer},
363
+ title = {Steedman's grammar for jazz chord sequences},
364
+ url = {http://recherche.ircam.fr/equipes/repmus/marc/publi/softcomputing/marcsteedman/marc-steedman.pdf},
365
+ year = {2004}
366
+ }
367
+
368
+
369
+
370
+ @manual{xilinx:xst,
371
+ author = {Xilinx},
372
+ citeulike-article-id = {2304836},
373
+ keywords = {fpgas, hdls},
374
+ organization = {Xilinx Inc.},
375
+ posted-at = {2008-01-29 18:30:50},
376
+ priority = {1},
377
+ title = {XST User Guide},
378
+ year = {2007}
379
+ }
380
+
381
+
382
+
383
+ @manual{xilinx:vertex2,
384
+ author = {Xilinx},
385
+ citeulike-article-id = {2304835},
386
+ keywords = {fpgas, hdls},
387
+ organization = {Xilinx Inc.},
388
+ posted-at = {2008-01-29 18:30:50},
389
+ priority = {1},
390
+ title = {Virtex-II Pro Data Sheet},
391
+ year = {2007}
392
+ }
393
+
394
+
395
+
396
+ @article{wirth98,
397
+ author = {Wirth, Niklaus },
398
+ citeulike-article-id = {2304834},
399
+ journal = {IEEE Computer},
400
+ keywords = {hw-compilation},
401
+ number = {6},
402
+ pages = {25--31},
403
+ posted-at = {2008-01-29 18:30:49},
404
+ priority = {0},
405
+ title = {Hardware Compilation: Translating Programs into Circuits},
406
+ volume = {31},
407
+ year = {1998}
408
+ }
409
+
410
+
411
+
412
+ @phdthesis{ward,
413
+ author = {Ward, Michael },
414
+ citeulike-article-id = {2304833},
415
+ keywords = {hw-compilation},
416
+ posted-at = {2008-01-29 18:30:49},
417
+ priority = {0},
418
+ school = {University of York},
419
+ title = {{Improving the Timing Analysis of Ravenscar / SPARK Ada by Direct Compilation to Hardware}},
420
+ year = {2004}
421
+ }
422
+
423
+
424
+
425
+ @book{wakerly,
426
+ author = {Wakerly, John F. },
427
+ citeulike-article-id = {2304832},
428
+ edition = {Fourth},
429
+ keywords = {digital-logic},
430
+ posted-at = {2008-01-29 18:30:49},
431
+ priority = {4},
432
+ publisher = {Prentice Hall},
433
+ title = {Digital Design: Principles and Practices},
434
+ year = {2006}
435
+ }
436
+
437
+
438
+
439
+ @book{dinosaur,
440
+ author = {Silberschatz, A. and Galvin, P. B. and Gagne, G. },
441
+ citeulike-article-id = {2304831},
442
+ edition = {sixth},
443
+ keywords = {operating-systems},
444
+ posted-at = {2008-01-29 18:30:49},
445
+ priority = {2},
446
+ publisher = {Wiley},
447
+ title = {{Operating System Concepts}},
448
+ year = {2003}
449
+ }
450
+
451
+
452
+
453
+ @book{rushton98,
454
+ author = {Rushton, Andrew },
455
+ citeulike-article-id = {2304830},
456
+ keywords = {hdls},
457
+ posted-at = {2008-01-29 18:30:49},
458
+ priority = {2},
459
+ publisher = {John Wiley \& Sons},
460
+ title = {VHDL for Logic Synthesis},
461
+ year = {1998}
462
+ }
463
+
464
+
465
+
466
+ @misc{peterweb,
467
+ author = {Peter, Christian },
468
+ citeulike-article-id = {2304829},
469
+ comment = {[Online; accessed 4-January-2008]},
470
+ keywords = {hw-compilation},
471
+ posted-at = {2008-01-29 18:30:49},
472
+ priority = {0},
473
+ title = {{Overview: Hardware Compilation and the Handel-C language}},
474
+ url = {http://web.comlab.ox.ac.uk/oucl/work/christian.peter/overview\_handelc.html},
475
+ year = {2000}
476
+ }
477
+
478
+
479
+
480
+ @incollection{page91,
481
+ author = {Page, I. and Luk, W. },
482
+ booktitle = {FPGAs},
483
+ citeulike-article-id = {2304828},
484
+ editor = {Moore, W. and Luk, W. },
485
+ keywords = {hw-compilation},
486
+ pages = {271--283},
487
+ posted-at = {2008-01-29 18:30:49},
488
+ priority = {0},
489
+ publisher = {Abingdon EE\&CS Books},
490
+ title = {Compiling Occam into FPGAs},
491
+ year = {1991}
492
+ }
493
+
494
+
495
+
496
+ @article{page96,
497
+ author = {Page, I. },
498
+ citeulike-article-id = {2304827},
499
+ journal = {Journal of VLSI Signal Processing},
500
+ keywords = {hw-compilation},
501
+ number = {1},
502
+ pages = {87--107},
503
+ posted-at = {2008-01-29 18:30:49},
504
+ priority = {0},
505
+ title = {Constructing hardware-software systems from a single description},
506
+ volume = {12},
507
+ year = {1996}
508
+ }
509
+
510
+
511
+
512
+ @book{oldfield95,
513
+ author = {Oldfield, John V. and Dorf, Richard C. },
514
+ citeulike-article-id = {2304826},
515
+ keywords = {fpgas},
516
+ posted-at = {2008-01-29 18:30:49},
517
+ priority = {2},
518
+ publisher = {John Wiley \& Sons},
519
+ title = {Field Programmable Gate Arrays},
520
+ year = {1995}
521
+ }
522
+
523
+
524
+
525
+ @book{louden,
526
+ author = {Louden, Kenneth C. },
527
+ citeulike-article-id = {2304825},
528
+ keywords = {compilers},
529
+ posted-at = {2008-01-29 18:30:49},
530
+ priority = {2},
531
+ publisher = {PWS},
532
+ title = {Compiler Construction: Principles and Practice},
533
+ year = {1997}
534
+ }
535
+
536
+
537
+
538
+ @book{systemc,
539
+ author = {Gr\"{o}tker, Thorsten },
540
+ citeulike-article-id = {2304824},
541
+ keywords = {hdls},
542
+ posted-at = {2008-01-29 18:30:49},
543
+ priority = {2},
544
+ publisher = {Springer},
545
+ title = {System Design with SystemC},
546
+ year = {2002}
547
+ }
548
+
549
+
550
+
551
+ @incollection{east91,
552
+ author = {East, W. and Tu, D. },
553
+ booktitle = {FPGAs},
554
+ citeulike-article-id = {2304823},
555
+ editor = {Moore, W. and Luk, W. },
556
+ keywords = {fpgas},
557
+ pages = {61--72},
558
+ posted-at = {2008-01-29 18:30:49},
559
+ priority = {2},
560
+ publisher = {Abingdon EE\&CS Books},
561
+ title = {Practical {FPGA} Design using Logic Synthesis},
562
+ year = {1991}
563
+ }
564
+
565
+
566
+
567
+ @phdthesis{lava,
568
+ author = {Claessen, Koen },
569
+ citeulike-article-id = {2304822},
570
+ keywords = {haskell, hdls},
571
+ posted-at = {2008-01-29 18:30:49},
572
+ priority = {2},
573
+ school = {Chalmers University of Technology and G\\"{o}teborg University},
574
+ title = {An Embedded Language Approach to Hardware Description and Verification},
575
+ year = {2000}
576
+ }
577
+
578
+
579
+
580
+ @book{burns01,
581
+ author = {Burns, Alan and Wellings, Andy },
582
+ citeulike-article-id = {2304821},
583
+ edition = {Third},
584
+ keywords = {rts, sw-lang},
585
+ posted-at = {2008-01-29 18:30:49},
586
+ priority = {2},
587
+ publisher = {Pearson Education},
588
+ title = {Real-Time Systems and Programming Languages},
589
+ year = {2001}
590
+ }
591
+
592
+
593
+
594
+ @book{occam,
595
+ author = {Burns, Alan },
596
+ citeulike-article-id = {2304820},
597
+ keywords = {sw-lang},
598
+ posted-at = {2008-01-29 18:30:49},
599
+ priority = {2},
600
+ publisher = {Addison-Wesley},
601
+ title = {Programming in Occam 2},
602
+ year = {1988}
603
+ }
604
+
605
+
606
+
607
+ @incollection{brunvand91,
608
+ author = {Brunvand, Erik },
609
+ booktitle = {FPGAs},
610
+ citeulike-article-id = {2304819},
611
+ editor = {Moore, W. and Luk, W. },
612
+ keywords = {fpgas},
613
+ pages = {312--323},
614
+ posted-at = {2008-01-29 18:30:49},
615
+ priority = {2},
616
+ publisher = {Abingdon EE\&CS Books},
617
+ title = {Implementing Self-Timed Systems with FPGAs},
618
+ year = {1991}
619
+ }
620
+
621
+
622
+
623
+ @article{csp,
624
+ author = {Brookes, Stephen and Hoare, C. A. R. and Roscoe, A. W. },
625
+ citeulike-article-id = {2304818},
626
+ journal = {Journal of the ACM},
627
+ keywords = {sw-lang},
628
+ number = {31},
629
+ pages = {560--599},
630
+ posted-at = {2008-01-29 18:30:49},
631
+ priority = {2},
632
+ title = {{A Theory of Communicating Sequential Processes}},
633
+ volume = {3},
634
+ year = {1984}
635
+ }
636
+
637
+
638
+
639
+ @article{jhdl,
640
+ author = {Bellows, P. and Hutchings, B. },
641
+ citeulike-article-id = {2304817},
642
+ journal = {IEEE Symposium on FPGAs for Custom Computing Machines},
643
+ keywords = {hdls},
644
+ pages = {175--185},
645
+ posted-at = {2008-01-29 18:30:49},
646
+ priority = {2},
647
+ title = {{JHDL - An HDL for Reconfigurable Systems}},
648
+ year = {1998}
649
+ }
650
+
651
+
652
+
653
+ @book{barnes98,
654
+ author = {Barnes, John },
655
+ citeulike-article-id = {2304816},
656
+ edition = {Second},
657
+ keywords = {sw-lang},
658
+ posted-at = {2008-01-29 18:30:49},
659
+ priority = {2},
660
+ publisher = {Addison-Wesley},
661
+ title = {Programming in Ada95},
662
+ year = {1998}
663
+ }
664
+
665
+
666
+
667
+ @book{ashenden96,
668
+ author = {Ashenden, Peter },
669
+ citeulike-article-id = {2304815},
670
+ keywords = {hdls},
671
+ posted-at = {2008-01-29 18:30:49},
672
+ priority = {2},
673
+ publisher = {Morgan Kaufmann},
674
+ title = {The Designer's Guide to VHDL},
675
+ year = {1996}
676
+ }
677
+
678
+
679
+
680
+ @article{andrews88,
681
+ author = {Andrews, Gregory R. and Olsson, Ronakd A. and Coffin, Micheal and Elshoff, Irving and Nilsen, Kelvin and Purdin, Titus and Townsend, Greg },
682
+ citeulike-article-id = {2304814},
683
+ journal = {ACM Transactions on Programming Languages and Systems},
684
+ keywords = {sw-lang},
685
+ number = {1},
686
+ pages = {51--86},
687
+ posted-at = {2008-01-29 18:30:49},
688
+ priority = {2},
689
+ title = {{An Overview of the SR Language and Implementation}},
690
+ volume = {10},
691
+ year = {1988}
692
+ }
693
+
694
+
695
+
696
+ @article{andrews81,
697
+ author = {Andrews, Gregory R. },
698
+ citeulike-article-id = {2304813},
699
+ journal = {ACM Transactions on Programming Languages and Systems},
700
+ keywords = {sw-lang},
701
+ number = {4},
702
+ pages = {405--430},
703
+ posted-at = {2008-01-29 18:30:49},
704
+ priority = {2},
705
+ title = {Synchronizing Resources},
706
+ volume = {3},
707
+ year = {1981}
708
+ }
709
+
710
+
711
+
712
+ @book{andrews93,
713
+ author = {Andrews, G. R. and Olsson, R. A. },
714
+ citeulike-article-id = {2304812},
715
+ keywords = {sw-lang},
716
+ posted-at = {2008-01-29 18:30:49},
717
+ priority = {2},
718
+ publisher = {Benjamin-Cummings Publishing Co., Inc.},
719
+ title = {{The SR programming language: concurrency in practice}},
720
+ year = {1993}
721
+ }
722
+
723
+
724
+
725
+ @book{kendall93,
726
+ author = {Atkinson, Kendall E. },
727
+ citeulike-article-id = {2301903},
728
+ keywords = {maths},
729
+ posted-at = {2008-01-29 12:20:37},
730
+ priority = {1},
731
+ publisher = {Wiley},
732
+ title = {Elementary Numerical Analysis},
733
+ year = {1993}
734
+ }
735
+
736
+
737
+
738
+ @inbook{mackay03,
739
+ author = {Mackay, David },
740
+ chapter = {29},
741
+ citeulike-article-id = {2301705},
742
+ keywords = {local-search},
743
+ pages = {374--375},
744
+ posted-at = {2008-01-29 11:05:33},
745
+ priority = {1},
746
+ publisher = {Cambridge University Press},
747
+ title = {Information Theory, Inference, and Learning Algorithms},
748
+ year = {2003}
749
+ }
750
+
751
+
752
+
753
+