4401 search results - page 462 / 881 » Computing with Default Logic |
162
click to vote
MKM
2004
Springer
16 years 6 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
167
click to vote
PADL
2004
Springer
16 years 6 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
200
click to vote
TYPES
2004
Springer
16 years 6 days ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
181
Voted
EDOC
2003
IEEE
16 years 5 days ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
210
Voted
ERLANG
2003
ACM
16 years 3 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...