Sciweavers

1392 search results - page 72 / 279
» Staging generic programming
Sort
View
PROPOR
2010
Springer
159views Languages» more  PROPOR 2010»
15 years 5 months ago
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
Patrick Silva, Pedro Batista, Nelson Neto, Aldebar...
109
Voted
PPDP
2000
Springer
15 years 5 months ago
Symmetric monoidal sketches
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
Martin Hyland, John Power
122
Voted
DSL
2009
15 years 6 hour ago
A DSL for Explaining Probabilistic Reasoning
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
Martin Erwig, Eric Walkingshaw
91
Voted
KBSE
2008
IEEE
15 years 8 months ago
Predictive Typestate Checking of Multithreaded Java Programs
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
Pallavi Joshi, Koushik Sen
103
Voted
APLAS
2004
ACM
15 years 7 months ago
Automatic Generation of Editors for Higher-Order Data Structures
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...