7576 search results - page 173 / 1516 » UNIX as an Application Program |
216
click to vote
POPL
2012
ACM
14 years 3 days ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
149
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
120
click to vote
FSMNLP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
131
click to vote
EXACT
2008
15 years 6 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
184
Voted
GPCE
2011
Springer
14 years 4 months ago
2011
Springer
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-...