2625 search results - page 286 / 525 » The development of the Emerald programming language |
187
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
181
click to vote
SENSYS
2004
ACM
16 years 1 days ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
163
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
168
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
151
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...