3713 search results - page 341 / 743 » Constructing a Calculus of Programs |
127
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
130
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
134
Voted
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
264
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
150
Voted
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...