-
1
-
-
80054098941
-
The design and implementation of Feldspar - An embedded language for digital signal processing
-
Implementation and Application of Functional Languages, Springer
-
E. Axelsson, K. Claessen, M. Sheeran, J. Svenningsson, D. Engdal, and A. Persson. The design and implementation of Feldspar - an embedded language for digital signal processing. In Implementation and Application of Functional Languages, volume 6647 of LNCS, pages 121-136. Springer, 2011.
-
(2011)
LNCS
, vol.6647
, pp. 121-136
-
-
Axelsson, E.1
Claessen, K.2
Sheeran, M.3
Svenningsson, J.4
Engdal, D.5
Persson, A.6
-
4
-
-
85022163068
-
LUSTRE: A declarative language for programming synchronous systems
-
P. Caspi, D. Pialiud, N. Halbwachs, and J. Plaice. LUSTRE: a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, pages 178-188, 1987.
-
(1987)
14th Symposium on Principles of Programming Languages
, pp. 178-188
-
-
Caspi, P.1
Pialiud, D.2
Halbwachs, N.3
Plaice, J.4
-
5
-
-
0034538940
-
QuickCheck: A lightweight tool for random testing of Haskell programs
-
ACM
-
K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In ACM SIGPLAN Notices, pages 268-279. ACM, 2000.
-
(2000)
ACM SIGPLAN Notices
, pp. 268-279
-
-
Claessen, K.1
Hughes, J.2
-
6
-
-
35048861896
-
A tool for checking ANSI-C programs
-
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer
-
E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, pages 168-176. Springer, 2004.
-
(2004)
LNCS
, pp. 168-176
-
-
Clarke, E.1
Kroening, D.2
Lerda, F.3
-
9
-
-
37149018450
-
Flexible and extensible notations for modeling languages
-
Fundamental Approaches to Software Engineering (FASE), Springer Verlag, March
-
J. Gao, M. Heimdahl, and E. Van Wyk. Flexible and extensible notations for modeling languages. In Fundamental Approaches to Software Engineering (FASE), volume 4422 of LNCS, pages 102-116. Springer Verlag, March 2007.
-
(2007)
LNCS
, vol.4422
, pp. 102-116
-
-
Gao, J.1
Heimdahl, M.2
Van Wyk, E.3
-
12
-
-
84958750813
-
Validation of synchronous reactive systems: From formal verification to automatic testing
-
ASIAN'99, Asian Computing Science Conference. Springer, December
-
N. Halbwachs and P. Raymond. Validation of synchronous reactive systems: from formal verification to automatic testing. In ASIAN'99, Asian Computing Science Conference. LNCS 1742, Springer, December 1999.
-
(1999)
LNCS
, vol.1742
-
-
Halbwachs, N.1
Raymond, P.2
-
13
-
-
84870466839
-
Controlling hybrid vehicles with Haskell. Presentation
-
Available at
-
T. Hawkins. Controlling hybrid vehicles with Haskell. Presentation. Commercial Users of Functional Programming (CUFP), 2008. Available at http://cufp.galois.com/2008/schedule.html.
-
(2008)
Commercial Users of Functional Programming (CUFP)
-
-
Hawkins, T.1
-
14
-
-
79954999474
-
Instantiation-based invariant discovery
-
3rd NASA Formal Methods Symposium, Springer
-
T. Kahsai, Y. Ge, and C. Tinelli. Instantiation-based invariant discovery. In 3rd NASA Formal Methods Symposium, volume 6617 of LNCS, pages 192-207. Springer, 2011.
-
(2011)
LNCS
, vol.6617
, pp. 192-207
-
-
Kahsai, T.1
Ge, Y.2
Tinelli, C.3
-
16
-
-
67650088351
-
Formal verification of a realistic compiler
-
July
-
X. Leroy. Formal verification of a realistic compiler. Communications of the ACM, 52:107-115, July 2009.
-
(2009)
Communications of the ACM
, vol.52
, pp. 107-115
-
-
Leroy, X.1
-
17
-
-
0004334773
-
Editor. Special Issue on System Verification
-
J. S. Moore, editor. Special Issue on System Verification: Journal of Automated Reasoning, volume 5, 1989.
-
(1989)
Journal of Automated Reasoning
, vol.5
-
-
Moore, J.S.1
-
18
-
-
70450184307
-
Experience report: Using Objective Caml to develop safety-critical embedded tools in a certification framework
-
G. Hutton and A. P. Tolmach, editors, ACM
-
B. Pagano, O. Andrieu, T. Moniot, B. Canou, E. Chailloux, P. Wang, P. Manoury, and J.-L. Colao. Experience report: using Objective Caml to develop safety-critical embedded tools in a certification framework. In G. Hutton and A. P. Tolmach, editors, International Conference on Functional Programming (ICFP), pages 215-220. ACM, 2009.
-
(2009)
International Conference on Functional Programming (ICFP)
, pp. 215-220
-
-
Pagano, B.1
Andrieu, O.2
Moniot, T.3
Canou, B.4
Chailloux, E.5
Wang, P.6
Manoury, P.7
Colao, J.-L.8
-
20
-
-
84867502817
-
Runtime verification for ultracritical systems
-
Proceedings of the 2nd Intl. Conference on Runtime Verification, Springer, September
-
L. Pike, S. Niller, and N. Wegmann. Runtime verification for ultracritical systems. In Proceedings of the 2nd Intl. Conference on Runtime Verification, LNCS. Springer, September 2011.
-
(2011)
LNCS
-
-
Pike, L.1
Niller, S.2
Wegmann, N.3
-
21
-
-
84867496011
-
The Halting problems of network stack insecurity
-
December
-
L. Sassaman, M. L. Patterson, S. Bratus, and A. Shubina. The Halting problems of network stack insecurity. ;login: The USENIX Magazine, 36(6), December 2011.
-
(2011)
;Login: The USENIX Magazine
, vol.36
, Issue.6
-
-
Sassaman, L.1
Patterson, M.L.2
Bratus, S.3
Shubina, A.4
-
22
-
-
70450170912
-
Complete and decidable type inference for GADTs
-
ACM
-
T. Schrijvers, S. Peyton Jones, M. Sulzmann, and D. Vytiniotis. Complete and decidable type inference for GADTs. In International Conference on Functional Programming (ICFP), ICFP '09, pages 341-352. ACM, 2009.
-
(2009)
In International Conference on Functional Programming (ICFP), ICFP '09
, pp. 341-352
-
-
Schrijvers, T.1
Peyton Jones, S.2
Sulzmann, M.3
Vytiniotis, D.4
-
24
-
-
79959889388
-
Finding and understanding bugs in C compilers
-
ACM
-
X. Yang, Y. Chen, E. Eide, and J. Regehr. Finding and understanding bugs in C compilers. In Programming Language Design and Implementation (PLDI), pages 283-294. ACM, 2011.
-
(2011)
Programming Language Design and Implementation (PLDI)
, pp. 283-294
-
-
Yang, X.1
Chen, Y.2
Eide, E.3
Regehr, J.4
|