2364 search results - page 224 / 473 » An Engine for Computing Well-Founded Models |
141
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
155
click to vote
HT
2005
ACM
15 years 10 months ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
157
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
129
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
165
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...