7430 search results - page 322 / 1486 » Programming Applications in CIFF |
151
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
117
click to vote
SUM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
144
click to vote
ICTAI
2006
IEEE
15 years 11 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
156
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
156
Voted
XIMEP
2006
ACM
15 years 11 months ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...