10585 search results - page 207 / 2117 » The Orc Programming Language |
149
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
117
Voted
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
Undergraduate and master’s students enrolled in a programming language paradigms class are given the assignment to design a new programming language paradigm. The students are a...
142
Voted
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
161
Voted
JMLR
2012
13 years 5 months ago
2012
We address the problem of finding the most likely assignment or MAP estimation in a Markov random field. We analyze the linear programming formulation of MAP through the lens of...
108
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...