3221 search results - page 310 / 645 » Termination of Linear Programs |
209
Voted
TLCA
2005
Springer
16 years 28 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
330
Voted
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
176
click to vote
EDCC
2005
Springer
16 years 29 days ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
206
click to vote
ECOOP
2004
Springer
16 years 25 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
202
Voted
LPNMR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...