2496 search results - page 153 / 500 » Error-detecting properties of languages |
99
Voted
CSL
2004
Springer
15 years 4 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
110
click to vote
CTCS
1987
Springer
15 years 4 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
107
click to vote
ECOOP
1987
Springer
15 years 4 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
AAAI
2007
15 years 3 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
127
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...