2076 search results - page 309 / 416 » Functional logic overloading |
CORR
2004
Springer
15 years 1 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
100
click to vote
ENTCS
2000
15 years 1 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
171
click to vote
IFIPTM
2010
15 years 10 hour ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
87
Voted
SYNTHESE
2010
14 years 12 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...