2019 search results - page 153 / 404 » Programming with Shared Data Abstractions |
153
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
132
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
142
click to vote
POPL
2010
ACM
16 years 16 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
133
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...