3323 search results - page 147 / 665 » Computational Semantics with Functional Programming |
198
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
173
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
145
click to vote
AAAI
2008
15 years 8 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
144
click to vote
ECOWS
2007
Springer
16 years 6 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
156
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...