4211 search results - page 59 / 843 » Types as Abstract Interpretations |
174
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
171
click to vote
TCS
2008
15 years 6 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
143
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
167
click to vote
COLING
2002
15 years 6 months ago
2002
We describe a parser for robust and flexible interpretation of user utterances in a multi-modal system for web search in newspaper databases. Users can speak or type, and they can...
185
click to vote
RSEISP
2007
Springer
16 years 21 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...