3516 search results - page 8 / 704 » Programming Languages: Application and Interpretation |
SCP
2000
14 years 9 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
SPE
2008
14 years 9 months ago
2008
109
click to vote
CGO
2006
IEEE
15 years 3 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...