SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:research.chalmers.se:cf2f0e33-02ca-4d3d-8bda-f022a6a205cd"
 

Search: onr:"swepub:oai:research.chalmers.se:cf2f0e33-02ca-4d3d-8bda-f022a6a205cd" > Testing Polymorphic...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Testing Polymorphic Properties

Bernardy, Jean-Philippe, 1978 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Jansson, Patrik, 1972 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Lindström Claessen, Koen, 1975 (author)
Chalmers tekniska högskola,Chalmers University of Technology
 (creator_code:org_t)
ISBN 9783642119569
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
2010
English.
In: 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
  • Conference paper (peer-reviewed)
Table of contents Abstract Subject headings
Close  
No table of content available
  • 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.

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)
NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Keyword

polymorphism
parametricity
initiality
testing

Publication and Content Type

kon (subject category)
ref (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Search outside SwePub

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 Close

Copy and save the link in order to return to this view