2685 search results - page 400 / 537 » A Formal Semantics for SPKI |
157
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
169
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
200
click to vote
RP
2009
Springer
16 years 29 days ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
177
click to vote
FOAL
2009
ACM
16 years 29 days ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
181
click to vote
HASKELL
2009
ACM
16 years 29 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...