4743 search results - page 261 / 949 » The PlusCal Algorithm Language |
115
Voted
MSCS
2008
15 years 3 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
76
Voted
COLING
2002
15 years 3 months ago
2002
The relative logical scope of multiple modifiers within NP is often semantically significant. This paper proposes a structurally based method for computing the relative scope of s...
196
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
166
Voted
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
This workshop seeks to bring together researchers in both computer science and social sciences who are interested in developing and using topic-sentiment analysis methods to measu...
113
Voted
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...