2736 search results - page 222 / 548 » Understanding programmer language |
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
146
click to vote
JOT
2006
15 years 6 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
156
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
169
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
155
click to vote
CSUR
2000
15 years 6 months ago
2000
: Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of co...