3221 search results - page 128 / 645 » Termination of Linear Programs |
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Key factors of indoor NLoS radio channels are examined, namely the number of channel taps, the mean delay, the RMS delay spread and the channel gain. We analyze wideband (2-11 G...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...