5415 search results - page 205 / 1083 » The Implementation of Functional Programming Languages |
SFP
2003
15 years 2 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
117
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
113
click to vote
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
ITCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
108
click to vote
JSC
2010
14 years 11 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...