4139 search results - page 407 / 828 » Designing and Implementing Combinator Languages |
241
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
176
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
182
click to vote
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
211
click to vote
CC
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
383
click to vote
CIDR
2011
14 years 11 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...