3736 search results - page 180 / 748 » Generative Programming |
143
click to vote
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
164
click to vote
AAIP
2009
15 years 4 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
137
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
104
click to vote
EUROPAR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...