aurels-rbib 1.0.2

Sign up to get free protection for your applications and to get access to all the features.
@@ -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
+