1036 search results - page 148 / 208 » Incompleteness of Behavioral Logics |
234
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
152
Voted
DAARC
2007
Springer
15 years 9 months ago
2007
Springer
The resolution of anaphora is dependent on a number of factors discussed in the literature: syntactic parallelism, topicality, etc. A system that attempts to resolve anaphora will ...
127
Voted
FPCA
1989
15 years 7 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
152
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
142
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...