#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2004

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Colin Runciman, Matthew Naylor, Fredrik Lindblad
- Haskell
- 2008

This paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based generators to obtain test-sets of finite values for which properties are checked, and report any counter-examples found. But instead of using a sample of randomly generated values… (More)

- Fredrik Lindblad
- Trends in Functional Programming
- 2007

Random testing is a powerful method for verifying program properties. However, as the complexity of the program and properties increases, writing customized input data generators quickly becomes necessary. We present a method for systematic generation of input data by lazy instantiation using meta variables and parallel partial evaluation of properties.… (More)

- Fredrik Lindblad, Marcin Benke
- TYPES
- 2004

We present a tool for automated theorem proving in Agda, an implementation of Martin-Löf’s intuitionistic type theory. The tool is intended to facilitate interactive proving by relieving the user from filling in simple but tedious parts of a proof. The proof search is conducted directly in type theory and produces proof terms. Any proof term is verified by… (More)

We present a novel approach for 3dscene interpretation with numerous applications, for instance in robotics. The models are rendered using 3d graphics hardware and DirectX. Both artificial and real images were used to test the system. More than one target image can be used, allowing stereoscopic vision. These experiments present results of interest-

- Fredrik Lindblad
- IJCAR
- 2014

- Fredrik Lindblad
- Electr. Notes Theor. Comput. Sci.
- 2008

- ‹
- 1
- ›