1818 search results - page 345 / 364 » Granularity-Adaptive Proof Presentation |
PLPV
2009
ACM
14 years 5 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
ICS
2009
Tsinghua U.
14 years 3 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
SAS
2009
Springer
14 years 3 months ago
2009
Springer
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...