1830 search results - page 65 / 366 » Functional Programs as Linked Data |
129
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
143
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
233
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
156
click to vote
PDPTA
2007
15 years 4 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...