Formalizing the Debugging Process in Haskell.

Alberto de la Encina Luis Llana Fernando Rubio

Published in: ICTAC (2005)

Keyphrases

databases
programming language
object oriented
database
web services
hidden markov models
general purpose
operating system
diffusion process