935 search results - page 137 / 187 » A Framework for Obfuscated Interpretation |
157
click to vote
AGP
1996
IEEE
15 years 8 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
121
click to vote
ECHT
1994
15 years 8 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
150
click to vote
ISMIS
1994
Springer
15 years 8 months ago
1994
Springer
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
152
click to vote
LPNMR
1993
Springer
15 years 8 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
138
click to vote
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...