959 search results - page 105 / 192 » Fundamental Concepts in Programming Languages |
142
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
118
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
110
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
154
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
128
click to vote
PADL
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...