643 search results - page 94 / 129 » Semantic Determinism and Functional Logic Program Properties |
123
click to vote
AAAI
1998
15 years 3 months ago
1998
The utility problem occurs when the cost of the acquired knowledge outweighs its bene ts. When the learner acquires control knowledge for speeding up a problem solver, the bene t ...
102
click to vote
ASWEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
114
Voted
MPC
1995
Springer
15 years 5 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
131
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
116
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...