1210 search results - page 118 / 242 » Formal Techniques for Java Programs |
113
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
JAIR
2010
15 years 27 days ago
2010
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
130
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
197
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
104
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...