3516 search results - page 226 / 704 » Programming Languages: Application and Interpretation |
186
click to vote
CIDR
2009
15 years 7 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
157
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
140
click to vote
VMCAI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
153
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
163
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...