Fredrik Lindblad

Gästlärare vid Chalmers, Data- och informationsteknik, Datavetenskap

Visar 6 publikationer

2014

A focused sequent calculus for higher-order logic

Fredrik Lindblad
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 61-75
Paper i proceeding
2008

Higher-Order Proof Construction Based on First-Order Narrowing

Fredrik Lindblad
Electronic Notes in Theoretical Computer Science. Vol. 196 (C), p. 69-84
Artikel i vetenskaplig tidskrift
2008

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

Fredrik Lindblad, Matthew Naylor, Colin Runciman
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (2), p. 37-48
Artikel i vetenskaplig tidskrift
2008

Property Directed Generation of First-Order Test Data

Fredrik Lindblad
Trends in Functional Programming. Vol. 8, p. 105-123
Paper i proceeding
2007

Testing and Proving using Narrowing

Fredrik Lindblad
Licentiatavhandling
2006

A Tool for Automated Theorem Proving in Agda

Fredrik Lindblad, Marcin Benke
LNCS, Types for Proofs and Programs. Vol. 3839, p. 155-170
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Fredrik Lindblad medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.