10575 search results - page 462 / 2115 » T2Script Programming Language |
198
click to vote
C3S2E
2008
ACM
15 years 7 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
156
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
174
click to vote
PPDP
2004
Springer
15 years 12 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...
184
click to vote
FMOODS
2008
15 years 8 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
193
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...