2625 search results - page 334 / 525 » The development of the Emerald programming language |
148
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
152
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
143
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
180
click to vote
APLAS
2006
ACM
16 years 15 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
158
click to vote
ITCC
2005
IEEE
16 years 3 days 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 ...