3323 search results - page 205 / 665 » Computational Semantics with Functional Programming |
174
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
214
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
SADI – Semantic Automated Discovery and Integration – is a set of standards-compliant Semantic Web Service design patterns that exploit the relatively straightforward interfac...
208
click to vote
IPPS
2008
IEEE
16 years 25 days ago
2008
IEEE
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
189
click to vote
RTA
2007
Springer
16 years 16 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
160
Voted
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...