Formalizing the Debugging Process in Haskell

Encina, Alberto de la; Llana, Luis; Rubio, Fernando

doi:10.1007/11560647_14

Cited by 3 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Once we know how to develop cognitive entities with our language, let us consider how we can introduce observations. In order to do that, we will extend the Hood (Encina, Llana, & Rubio, 2005;Gill, 2000) system. Thus, before describing how we can use it with cognitive processes, we start by illustrating what kind of observations can be obtained by using Hood, and then we will show how to implement it.…”

Section: Introducing Observations In Edenmentioning

confidence: 99%

Testing the Behaviour of Entities in a Cognitive Language

Encina

Hidalgo-Herrero

Rabanal

et al. 2008

International Journal of Cognitive Informatics and Natural Intelligence

View full text Add to dashboard Cite

We present a programming environment to help study the behavior of cognitive models. The core of the environment is a programming language based on high-level constructions that allow the easy development of general schemes that can be used (and even modified) without requiring knowledge about the underlying language. In addition, we have introduced observation facilities to the language to help analyze how each process takes its own decisions. Thus, we can analyze not only the external behavior of each entity, but also how it constructs its knowledge. Moreover, our framework also provides visualizing facilities.

show abstract

Section: Introducing Observations In Edenmentioning

confidence: 99%

Testing the Behaviour of Entities in a Cognitive Language

Encina

Hidalgo-Herrero

Rabanal

et al. 2008

International Journal of Cognitive Informatics and Natural Intelligence

View full text Add to dashboard Cite

show abstract

Testing Speculative Work in a Lazy/Eager Parallel Functional Language

Encina

Rodrı́guez

Rubio

2006

Languages and Compilers for Parallel Computing

Self Cite

View full text Add to dashboard Cite

Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to enable the parallel execution of processes in Eden, this feature must be disabled when new processes are instantiated. Hence, any newly created process can be speculative, as it is not known whether the computations it performs will actually be required for the overall computation. Therefore, the performance of a program may be affected by the unneeded speculation. In this paper we present a framework to compare the speculated computations of an Eden program with the computations it actually requires. Thus, the programmer is provided with a profiling tool allowing him to produce better programs where speculative work fits better the actual necessities.

show abstract