2604 search results - page 361 / 521 » General constant expressions for system programming language... |
155
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
151
click to vote
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
183
click to vote
HLPPP
1991
15 years 8 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
153
Voted
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
130
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...