580 search results - page 82 / 116 » Building a Family of Compilers |
101
click to vote
CONCUR
2010
Springer
15 years 19 days ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
104
Voted
ML
2008
ACM
15 years 12 days ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
FUIN
2007
15 years 12 days ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
79
Voted
CMOT
1998
15 years 4 days ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
82
Voted
NAR
2007
14 years 12 months ago
2007
The Pseudogene.org database serves as a comprehensive repository for pseudogene sequence annotation. The definition of a pseudogene varies within the literature, resulting in sign...