626 search results - page 38 / 126 » Towards a Unified Programming Language |
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
ICFP
2009
ACM
14 years 4 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...