8109 search results - page 295 / 1622 » A Model of Component-Based Programming |
203
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
163
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
—This paper argues that algorithmic skeletons are a suitable programming model for multi-core architectures. -level abstractions offered by algorithmic skeletons provide a simple...
175
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
198
click to vote
SUM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
182
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
Sentence compression is a valuable task in the framework of text summarization. In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in ...