3221 search results - page 149 / 645 » Termination of Linear Programs |
194
click to vote
TPHOL
2009
IEEE
16 years 27 days ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
169
click to vote
LOPSTR
2009
Springer
16 years 24 days ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
143
click to vote
IDEAL
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
151
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
156
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...