899 search results - page 80 / 180 » Cost Analysis of Games, Using Program Logic |
STOC
2001
ACM
16 years 4 days ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
119
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...
107
click to vote
SPE
2002
14 years 11 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
IRI
2003
IEEE
15 years 5 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...