10575 search results - page 389 / 2115 » Programming Languages |
190
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
177
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce and give formal definitions of attack
175
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
173
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
196
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...