641 search results - page 62 / 129 » Embedding Finite Sets in a Logic Programming Language |
121
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
122
Voted
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
154
click to vote
ESOP
2010
Springer
16 years 25 days ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
158
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
244
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...