899 search results - page 12 / 180 » Cost Analysis of Games, Using Program Logic |
FSTTCS
2000
Springer
15 years 3 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
RTA
2010
Springer
15 years 3 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identiļ¬cation of the...
SLP
1990
15 years 27 days ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
103
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...