2776 search results - page 63 / 556 » System-Level Abstraction Semantics |
115
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
114
Voted
MKM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
120
Voted
ALDT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
119
click to vote
ALP
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
151
Voted
ASWC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...