4139 search results - page 156 / 828 » Designing and Implementing Combinator Languages |
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
117
click to vote
FMOODS
2008
15 years 22 days ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
115
click to vote
EUROMICRO
1999
IEEE
15 years 3 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
106
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
FTDCS
1999
IEEE
15 years 3 months ago
1999
IEEE
We describe a distributed system architecture that supports the integration of different front-office trading systems with middle and back-office systems, each of which have been ...