2803 search results - page 526 / 561 » A Type System for Prototyping Languages |
136
Voted
WOTUG
2008
15 years 5 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
152
Voted
TOPLAS
2008
15 years 3 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
119
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
121
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Summarizing web pages have recently gained much attention from researchers. Until now two main types of approaches have been proposed for this task: content- and context-based met...
145
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...