8232 search results - page 347 / 1647 » Dynamic Logic Programming |
198
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
202
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
164
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
288
Voted
CC
2009
Springer
16 years 7 months ago
2009
Springer
Speculative parallelisation represents a promising solution to speed up sequential programs that are hard to parallelise otherwise. Prior research has focused mainly on parallelisi...
162
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Gas chromatography-mass spectrometry (GC-MS) is a robust platform for the profiling of certain classes of small molecules in biological samples. When multiple samples ...