Result 1 to 14 of 14 total
The design and implementation of Feldspar. An embedded language for digital signal processing. (English)
Hage, Jurriaan (ed.) et al., Implementation and application of functional languages. 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1‒3, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24275-5/pbk). Lecture Notes in Computer Science 6647, 121-136 (2011).
1
Specification and verification of side channel declassification. (English)
Degano, Pierpaolo (ed.) et al., Formal aspects in security and trust. 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5‒6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12458-7/pbk). Lecture Notes in Computer Science 5983, 111-125 (2010).
2
io-port 70107606 Axelsson, Emil;
Claessen, Koen;
Dévai, Gergely;
Horváth, Zoltán;
Keijzer, Karin;
Lyckegård, Bo;
Persson, Anders;
Sheeran, Mary;
Svenningsson, Josef;
Vajda, András
Feldspar: A domain specific language for digital signal processing algorithms (English)
MEMOCODE, 169-178 (2010).
3
The design and implementation of feldspar - an embedded language for digital signal processing (English)
IFL, 121-136 (2010).
4
Specification and verification of side channel declassification. (English)
Comput. Res. Repos. 2009, Article No. 0912.2952 (2009).
5
Specification and verification of side channel declassification (English)
Formal Aspects in Security and Trust, 111-125 (2009).
6
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis. (English)
Kobayashi, Naoki (ed.), Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8‒10, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48937-5/pbk). Lecture Notes in Computer Science 4279, 200-216 (2006).
7
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis (English)
APLAS, 200-216 (2006).
8
Regular expression patterns (English)
ICFP, 67-78 (2004).
9
Shortcut fusion for accumulating parameters \& zip-like functions (English)
ICFP, 124-132 (2002).
10
Constraint abstractions. (English)
Danvy, Olivier (ed.) et al., Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2053, 63-83 (2001).
11
A usage analysis with bounded usage polymorphism and subtyping. (English)
Mohnen, Markus (ed.) et al., Implementation of functional languages. 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2011, 140-157 (2001).
12
Constraint abstractions (English)
PADO, 63-83 (2001).
13
A usage analysis with bounded usage polymorphism and subtyping (English)
IFL, 140-157 (2000).
14
Result 1 to 14 of 14 total
Start
Contact
Print
General Help
