2625 search results - page 337 / 525 » The development of the Emerald programming language |
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
162
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
166
click to vote
ERLANG
2006
ACM
16 years 15 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
172
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...