X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.bib;h=dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a;hp=d9f0e529674047958ff57e16b51474905121edc1;hb=670b6d6dd2734861d6bbf3dc952e455f12ce464f;hpb=32b21c1a4b72bc07c23a214383bf98cbb01e8c94

diff --git "a/c\316\273ash.bib" "b/c\316\273ash.bib"
index d9f0e52..dc49b3b 100644
--- "a/c\316\273ash.bib"
+++ "b/c\316\273ash.bib"
@@ -1,6 +1,20 @@
 % This file was created with JabRef 2.4.2.
 % Encoding: MacRoman
 
+@INPROCEEDINGS{Wired,
+  author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
+  title = {{Wired: Wire-Aware Circuit Design}},
+  booktitle = {{Proceedings of Conference on Correct Hardware Design and VeriÞcation
+	Methods (CHARME)}},
+  year = {2005},
+  volume = {3725},
+  series = {{Lecture Notes in Computer Science}},
+  pages = {{5--19}},
+  publisher = {Springer Verlag},
+  owner = {darchon},
+  timestamp = {2010.01.21}
+}
+
 @INPROCEEDINGS{Lava,
   author = {Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam},
   title = {{Lava: hardware design in Haskell}},
@@ -17,6 +31,16 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{Cardelli1981,
+  author = {Luca Cardelli and Gordon Plotkin},
+  title = {{An Algebraic Approach to VLSI Design}},
+  booktitle = {{Proceedings of the VLSI 81 International Conference}},
+  year = {1981},
+  pages = {173-182},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
 @INPROCEEDINGS{Hawk2,
   author = {Byron Cook and John Launchbury and John Matthews},
   title = {{Specifying superscalar microprocessors in Hawk}},
@@ -26,6 +50,36 @@
   timestamp = {2010.01.20}
 }
 
+@ARTICLE{reFLect,
+  author = {Grundy,Jim and Melham,Tom and O'Leary,John},
+  title = {{A reflective functional language for hardware design and theorem
+	proving}},
+  journal = {Journal of Functional Programming},
+  year = {2006},
+  volume = {16},
+  pages = {157-196},
+  number = {02},
+  doi = {10.1017/S0956796805005757},
+  owner = {darchon},
+  timestamp = {2010.01.21}
+}
+
+@INPROCEEDINGS{DAISY,
+  author = {Johnson, Steven D.},
+  title = {Applicative programming and digital design},
+  booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on
+	Principles of programming languages},
+  year = {1984},
+  pages = {218--227},
+  address = {New York, NY, USA},
+  publisher = {ACM},
+  doi = {http://doi.acm.org/10.1145/800017.800533},
+  isbn = {0-89791-125-3},
+  location = {Salt Lake City, Utah, United States},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
 @INPROCEEDINGS{Ruby,
   author = {Jones, G. and Sheeran, M.},
   title = {{Circuit Design in Ruby}},
@@ -82,6 +136,21 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{FL,
+  author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
+  title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
+	and Theorem Proving}},
+  booktitle = {{Proceedings of 12th International Conference on Theorem Proving
+	in Higher Order Logics}},
+  year = {1999},
+  volume = {1690},
+  series = {LNCS},
+  pages = {323-340},
+  publisher = {Springer Verlag},
+  owner = {darchon},
+  timestamp = {2010.01.26}
+}
+
 @INPROCEEDINGS{Hawk1,
   author = {Matthews, J. and Cook, B. and Launchbury, J.},
   title = {{Microprocessor specification in Hawk}},
@@ -123,7 +192,53 @@
   timestamp = {2010.01.20}
 }
 
-@INPROCEEDINGS{ForSyDe,
+@INPROCEEDINGS{FHDL,
+  author = {Meshkinpour, F. and Ercegovac, M. D.},
+  title = {A functional language for description and design of digital systems:
+	sequential constructs},
+  booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
+  year = {1985},
+  pages = {238--244},
+  address = {New York, NY, USA},
+  publisher = {ACM},
+  doi = {http://doi.acm.org/10.1145/317825.317865},
+  isbn = {0-8186-0635-5},
+  location = {Las Vegas, Nevada, United States},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
+@INPROCEEDINGS{Hydra,
+  author = {John O'Donnell},
+  title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
+	Specification in Hydra}},
+  booktitle = {{Proceedings of the First International Symposium on Funtional Programming
+	Languages in Education}},
+  year = {1995},
+  volume = {1022},
+  series = {Lecture Notes in Computer Science},
+  pages = {195--214},
+  publisher = {Springer-Verlag},
+  owner = {darchon},
+  timestamp = {2010.01.21}
+}
+
+@ARTICLE{ForSyDe2,
+  author = {Ingo Sander and Axel Jantsch},
+  title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
+  journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
+	and Systems}},
+  year = {2004},
+  volume = {23},
+  pages = {17--32},
+  number = {1},
+  month = {January},
+  key = {ForSyDe},
+  owner = {darchon},
+  timestamp = {2010.01.21}
+}
+
+@INPROCEEDINGS{ForSyDe1,
   author = {Sander, Ingo and Jantsch, Axel},
   title = {{Transformation based communication and clock domain refinement for
 	system design}},
@@ -139,6 +254,22 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{T-Ruby,
+  author = {Sharp, Robin and Rasmussen, Ole},
+  title = {{Using a language of functions and relations for VLSI specification}},
+  booktitle = {FPCA '95: Proceedings of the seventh international conference on
+	Functional programming languages and computer architecture},
+  year = {1995},
+  pages = {45--54},
+  address = {New York, NY, USA},
+  publisher = {ACM},
+  doi = {http://doi.acm.org/10.1145/224164.224180},
+  isbn = {0-89791-719-7},
+  location = {La Jolla, California, United States},
+  owner = {darchon},
+  timestamp = {2010.01.21}
+}
+
 @INPROCEEDINGS{muFP,
   author = {Sheeran, Mary},
   title = {{$\mu$FP, a language for VLSI design}},