SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "(WFRF:(Purdue Mark P)) srt2:(2015-2019) pers:(Giles Graham G) lar1:(uu) srt2:(2017)"

Sökning: (WFRF:(Purdue Mark P)) srt2:(2015-2019) pers:(Giles Graham G) lar1:(uu) > (2017)

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Bernardy, Jean-Philippe, 1978, et al. (författare)
  • Testing Polymorphic Properties
  • 2010
  • Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642119569 ; 6012, s. 125-144
  • Konferensbidrag (refereegranskat)abstract
    • This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for all other instances. We also give a formal definition of the class of polymorphic properties the schema can be used for. Compared to the standard method of testing such properties, our schema leads to a significant reduction of necessary test cases.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Bernardy, Jean-Phili ... (1)
Jansson, Patrik, 197 ... (1)
Lindström Claessen, ... (1)
Lärosäte
Chalmers tekniska högskola (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (1)
År
2017 (1)Ta bort avgränsningen

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy