525 search results - page 77 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
160
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
135
click to vote
AOSD
2010
ACM
16 years 7 days ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
198
click to vote
CORR
2011
Springer
14 years 9 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...
154
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
126
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...