1127 search results - page 193 / 226 » Theory Extension in ACL2(r) |
114
Voted
TSE
2008
15 years 15 days ago
2008
There is a growing consensus that crosscutting concerns harm code quality. An example of a crosscutting concern is a functional requirement whose implementation is distributed acro...
101
click to vote
DBPL
1993
Springer
15 years 4 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
LPNMR
1990
Springer
15 years 4 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
99
Voted
IJCAI
1989
15 years 1 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
135
click to vote
OPODIS
2004
15 years 2 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...