Seuraa
Koen Claessen
Nimike
Viittaukset
Viittaukset
Vuosi
QuickCheck: a lightweight tool for random testing of Haskell programs
K Claessen, J Hughes
International Conference on Functional Programming, 2000
1827*2000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
ACM SIGPLAN Notices 34 (1), 174-184, 1998
5631998
New techniques that improve MACE-style finite model finding
K Claessen, N Sörensson
Proceedings of the CADE-19 Workshop: Model Computation-Principles …, 2003
331*2003
SAT-based verification without state space traversal
P Bjesse, K Claessen
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
2362000
Feldspar: A domain specific language for digital signal processing algorithms
E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ...
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
1222010
Static contract checking for Haskell
DN Xu, S Peyton Jones, K Claessen
Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2009
1222009
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
1212013
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1182008
Testing an optimising compiler by generating random lambda terms
MH Pałka, K Claessen, A Russo, J Hughes
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
1172011
Observable sharing for functional circuit description
K Claessen, D Sands
Advances in Computing Science—ASIAN’99: 5th Asian Computing Science …, 1999
1121999
A poor man's concurrency monad
K Claessen
Journal of Functional Programming 9 (3), 313-323, 1999
1111999
QuickSpec: Guessing Formal Specifications Using Testing
K Claessen, N Smallbone, J Hughes
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain …, 2010
972010
Testing monadic code with QuickCheck
K Claessen, J Hughes
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 65-77, 2002
972002
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ...
ACM Sigplan Notices 44 (9), 149-160, 2009
882009
A coverage analysis for safety property lists
K Claessen
Formal Methods in Computer Aided Design (FMCAD'07), 139-145, 2007
862007
Expressive array constructs in an embedded GPU kernel programming language
K Claessen, M Sheeran, BJ Svensson
Proceedings of the 7th workshop on Declarative aspects and applications of …, 2012
852012
The TPTP typed first-order form with arithmetic
G Sutcliffe, S Schulz, K Claessen, P Baumgartner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
832012
HALO: Haskell to logic through denotational semantics
D Vytiniotis, S Peyton Jones, K Claessen, D Rosén
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
782013
A liveness checking algorithm that counts
K Claessen, N Sörensson
2012 Formal Methods in Computer-Aided Design (FMCAD), 52-59, 2012
762012
Using the TPTP language for writing derivations and finite interpretations
G Sutcliffe, S Schulz, K Claessen, A Van Gelder
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
742006
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20