10666 search results - page 1867 / 2134 » Quantum programming languages |
133
click to vote
TPLP
2002
15 years 4 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
147
click to vote
FGCS
2010
15 years 3 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
138
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
190
click to vote
IWPC
2010
IEEE
15 years 2 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
150
click to vote
JSS
2010
15 years 2 months ago
2010
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...