Work

Verifying Haskell programs by combining testing, model checking and interactive theorem proving

Year: 2004

Type: article

Source: Information and Software Technology

DOI: 10.1016/j.infsof.2004.07.002

Authors: Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Institutions: Chalmers University of Technology, National Institute of Advanced Industrial Science and Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2095144546

FWCI: 1.062

Cites: 22

Cited by: 23

Related to: 10