6829 search results - page 251 / 1366 » Quantitative Generalizations of Languages |
161
click to vote
GIR
2008
ACM
15 years 7 months ago
2008
ACM
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
100
click to vote
IANDC
2006
15 years 6 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
316
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
144
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
297
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...