1781 search results - page 210 / 357 » Functional Answer Set Programming |
103
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
136
Voted
WCE
2007
15 years 2 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
114
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
114
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
108
Voted
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...