526 search results - page 71 / 106 » Co-Logic Programming: Extending Logic Programming with Coind... |
117
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
158
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
138
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
107
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
141
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...