899 search results - page 17 / 180 » Cost Analysis of Games, Using Program Logic |
127
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
IWMM
2007
Springer
15 years 5 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
109
click to vote
ICLP
1997
Springer
15 years 3 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
182
click to vote
ACMSE
2011
ACM
13 years 11 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
106
click to vote
APAL
2008
14 years 12 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...