3572 search results - page 14 / 715 » Nominal Logic Programming |
114
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
143
click to vote
CL
2012
Springer
13 years 2 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
145
click to vote
PLPV
2012
ACM
13 years 8 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
107
Voted
CADE
2006
Springer
16 years 20 days ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
112
click to vote
CADE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...