6829 search results - page 979 / 1366 » Quantitative Generalizations of Languages |
166
Voted
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
231
Voted
PPOPP
2006
ACM
16 years 25 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
195
Voted
UIST
2006
ACM
16 years 24 days ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...
192
Voted
VEE
2006
ACM
16 years 24 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
153
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...