1206 search results - page 27 / 242 » Concurrent Abstract Predicates |
106
Voted
IJFCS
2007
15 years 11 days ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
139
click to vote
AAAI
2008
15 years 1 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
103
Voted
CAL
2007
15 years 14 days ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
98
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
102
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...