From: Christiaan Baaij Date: Fri, 22 Jan 2010 13:33:59 +0000 (+0100) Subject: Add some extra references on existing functional languages X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=a8e2b17d6a581d1e2390ffe4df1bea49d3300db6;p=matthijs%2Fmaster-project%2Fdsd-paper.git Add some extra references on existing functional languages --- diff --git "a/c\316\273ash.bib" "b/c\316\273ash.bib" index d9f0e52..4b9471a 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}}, @@ -26,6 +40,20 @@ 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{Ruby, author = {Jones, G. and Sheeran, M.}, title = {{Circuit Design in Ruby}}, @@ -123,7 +151,37 @@ timestamp = {2010.01.20} } -@INPROCEEDINGS{ForSyDe, +@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 +197,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}},