1445 search results - page 138 / 289 » Abstract Interpretation of Logic Programs |
74
Voted
ASM
2000
ASM
15 years 2 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
84
Voted
IEEEAMS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
111
Voted
LPAR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
109
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
67
Voted
CD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...