5343 search results - page 502 / 1069 » Keyword programming in java |
154
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
158
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
140
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
142
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
164
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...