10585 search results - page 594 / 2117 » The Orc Programming Language |
153
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
197
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
189
click to vote
SAC
2003
ACM
16 years 13 days ago
2003
ACM
One of the open problems in the area of domain-specific languages is how to make domain-specific language development easier for domain experts not versed in a programming languag...
179
click to vote
GPCE
2003
Springer
16 years 11 days ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
161
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...