Visiting address: Rännvägen 6
Room: 6115, 6th floor (EDIT-building)
Fredrik Lindblad is a PhD student in the Programming Logic group. Supervisor: Catarina Coquand Link to personal page
Lindblad, Fredrik: Higher-Order Proof Construction Based on First-Order Narrowing. Electronic Notes in Theoretical Computer Science, 196 (C) pp. 69-84.
Lindblad, Fredrik: Property Directed Generation of First-Order Test Data. Trends in Functional Programming, 8 pp. 105-123 . ISBN/ISSN: 9781841501963
Lindblad, Fredrik; Naylor, Matthew; Runciman, Colin: SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. ACM SIGPLAN NOTICES, 44 (2) pp. 37-48.
Lindblad, Fredrik: Testing and Proving using Narrowing. Göteborg : Göteborg University.
Lindblad, Fredrik; Benke, Marcin: A Tool for Automated Theorem Proving in Agda. LNCS, Types for Proofs and Programs, 3839 pp. 155-170. ISBN/ISSN: 3-540-31428-8
SÖK PERSONAL Förnamn Efternamn
SÖK Hela sajten Personal
Avdelningar:
Datavetenskap >> Datorteknik >> Nätverk och system >> Programvaruteknik >> Software Engineering >> Verksamhetsstöd >>
Skriv ut