3516 search results - page 107 / 704 » Programming Languages: Application and Interpretation |
165
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
178
click to vote
PPDP
2007
Springer
16 years 15 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
176
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
160
click to vote
ISPDC
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
142
click to vote
DEXAW
2008
IEEE
16 years 25 days ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...