Research papers/Domain specific languages
From HaskellWiki
(Difference between revisions)
(edsls subpage) |
(+Koen's papers) |
||
| Line 1: | Line 1: | ||
__TOC__ | __TOC__ | ||
| - | ==Domain | + | ==Domain specific languages== |
;[http://www.cs.uu.nl/~daan/download/papers/dsec.ps Domain Specific Embedded Compilers] | ;[http://www.cs.uu.nl/~daan/download/papers/dsec.ps Domain Specific Embedded Compilers] | ||
:Daan Leijen and Erik Meijer. 2nd USENIX Conference on Domain-Specific Languages (DSL'99), Austin, Texas, October 1999. Also appeared in ACM SIGPLAN Notices 35, 1, January 2000. | :Daan Leijen and Erik Meijer. 2nd USENIX Conference on Domain-Specific Languages (DSL'99), Austin, Texas, October 1999. Also appeared in ACM SIGPLAN Notices 35, 1, January 2000. | ||
| - | ===Hardware | + | ===Hardware description=== |
;[http://www.cs.chalmers.se/~koen/Papers/lava.ps Lava: Hardware Design in Haskell] | ;[http://www.cs.chalmers.se/~koen/Papers/lava.ps Lava: Hardware Design in Haskell] | ||
| Line 12: | Line 12: | ||
;[http://www.cs.chalmers.se/~koen/Papers/lic.ps An Embedded Language Approach to Hardware Description and Verification] | ;[http://www.cs.chalmers.se/~koen/Papers/lic.ps An Embedded Language Approach to Hardware Description and Verification] | ||
| - | :Koen Claessen | + | :Koen Claessen. Dept. of Computer Science and Engineering, Chalmers University of Technology, Lic. thesis, August 2000. |
| + | |||
| + | ;[http://www.cs.chalmers.se/~koen/pubs/charme01-sorter.pdf The Design and Verification of a Sorter Core] | ||
| + | :Koen Claessen, Mary Sheeran, and Satnam Singh. In Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME), Lecture Notes in Computer Science, Springer Verlag, 2001. | ||
| + | |||
| + | ;[http://www.cs.chalmers.se/~koen/pubs/phd01-thesis.ps Embedded Languages for Describing and Verifying Hardware] | ||
| + | :Koen Claessen. Dept. of Computer Science and Engineering, Chalmers University of Technology, Ph.D. thesis, April 2001. | ||
| + | |||
| + | ;[http://www.cs.chalmers.se/~koen/pubs/fdpe02-lava.ps An Embedded Language Approach to Teaching Hardware Compilation] | ||
| + | :Koen Claessen and Gordon Pace. In Proc. of Workshop on Functional and Declarative Programming in Education (FDPE), 2002. | ||
| + | |||
| + | ;[http://www.math.chalmers.se/~koen/pubs/entry-sttt03-lava.html Using Lava to Design and Verify Recursive and Periodic Sorters] | ||
| + | :Koen Claessen, Mary Sheeran, and Satnam Singh. In International Journal on Software Tools for Technology Transfer, vol. 4 (3), pp. 349--358, Springer Verlag, 2003. | ||
| + | |||
| + | ;[http://www.math.chalmers.se/~koen/pubs/entry-fop-lava.html Functional Hardware Description in Lava] | ||
| + | :Koen Claessen, Mary Sheeran, and Satnam Singh. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, pp. 151--176, Palgrave, 2003. | ||
| + | |||
| + | ===Logic programming=== | ||
| + | |||
| + | ;[http://www.cs.chalmers.se/~koen/pubs/haskell00-typedlp.ps Typed Logical Variables in Haskell] | ||
| + | :Koen Claessen and Peter Ljungl�f. In Proc. of Haskell Workshop, ACM SIGPLAN, 2000. 1999 | ||
Revision as of 02:59, 9 April 2006
Contents |
1 Domain specific languages
- Domain Specific Embedded Compilers
- Daan Leijen and Erik Meijer. 2nd USENIX Conference on Domain-Specific Languages (DSL'99), Austin, Texas, October 1999. Also appeared in ACM SIGPLAN Notices 35, 1, January 2000.
1.1 Hardware description
- Lava: Hardware Design in Haskell
- Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
- An Embedded Language Approach to Hardware Description and Verification
- Koen Claessen. Dept. of Computer Science and Engineering, Chalmers University of Technology, Lic. thesis, August 2000.
- The Design and Verification of a Sorter Core
- Koen Claessen, Mary Sheeran, and Satnam Singh. In Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME), Lecture Notes in Computer Science, Springer Verlag, 2001.
- Embedded Languages for Describing and Verifying Hardware
- Koen Claessen. Dept. of Computer Science and Engineering, Chalmers University of Technology, Ph.D. thesis, April 2001.
- An Embedded Language Approach to Teaching Hardware Compilation
- Koen Claessen and Gordon Pace. In Proc. of Workshop on Functional and Declarative Programming in Education (FDPE), 2002.
- Using Lava to Design and Verify Recursive and Periodic Sorters
- Koen Claessen, Mary Sheeran, and Satnam Singh. In International Journal on Software Tools for Technology Transfer, vol. 4 (3), pp. 349--358, Springer Verlag, 2003.
- Functional Hardware Description in Lava
- Koen Claessen, Mary Sheeran, and Satnam Singh. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, pp. 151--176, Palgrave, 2003.
1.2 Logic programming
- Typed Logical Variables in Haskell
- Koen Claessen and Peter Ljungl�f. In Proc. of Haskell Workshop, ACM SIGPLAN, 2000. 1999
