1636 search results - page 258 / 328 » Type-Theoretic Functional Semantics |
116
click to vote
PASTE
1999
ACM
15 years 4 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
101
click to vote
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
135
click to vote
ERCIMDL
2006
Springer
15 years 3 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...