1805 search results - page 5 / 361 » A Theory of Closure Operators |
AIMS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
POPL
1998
ACM
15 years 1 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
88
Voted
ENTCS
2008
14 years 9 months ago
2008
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
JELIA
1990
Springer
15 years 1 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...