6829 search results - page 255 / 1366 » Quantitative Generalizations of Languages |
131
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
172
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
174
Voted
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
189
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
161
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...