Sciweavers

2019 search results - page 174 / 404
» Programming with Shared Data Abstractions
Sort
View
PADL
2004
Springer
15 years 8 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 6 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
JOT
2008
136views more  JOT 2008»
15 years 3 months ago
The Stock Statistics Parser
This paper describes how use the HTMLEditorKit to perform web data mining on stock statistics for listed firms. Our focus is on making use of the web to get information about comp...
Douglas Lyon
TSE
2010
180views more  TSE 2010»
15 years 1 months ago
Aspect-Oriented Race Detection in Java
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
Eric Bodden, Klaus Havelund
JSAI
2005
Springer
15 years 8 months ago
Detection of Assessment Patterns in Ordinary Triadic Conversation
Abstract.Abstract.Abstract. This article outlines a three-party conversation corpus built by the National Institute of Information and Communications Technology (Section 2) and int...
Katsuya Takanashi, Eiki Fujimoto, Yasuyuki Kono, K...