4211 search results - page 174 / 843 » Types as Abstract Interpretations |
128
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
201
click to vote
GTTSE
2007
Springer
17 years 2 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
112
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...
120
click to vote
ACL
1994
15 years 5 months ago
1994
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
126
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Interpretation of simple microarray experiments is usually based on the fold-change of gene expression between a reference and a "treated" sample where the t...