Sciweavers

4139 search results - page 488 / 828
» Designing and Implementing Combinator Languages
Sort
View
CASES
2007
ACM
15 years 11 months ago
A self-maintained memory module supporting DMM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...
Weixing Ji, Feng Shi, Baojun Qiao
LISP
2006
160views more  LISP 2006»
15 years 7 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
JSW
2007
156views more  JSW 2007»
15 years 7 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
OIR
2007
99views more  OIR 2007»
15 years 6 months ago
The Galician virtual library
In this paper we describe the main features of the Galician Virtual Library (BVG) and its development process. The aim of this virtual library is to fill the existing lack of Galic...
Ángeles S. Places, Nieves R. Brisaboa, Anto...
PVLDB
2008
134views more  PVLDB 2008»
15 years 6 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...