4386 search results - page 136 / 878 » A Tamper-Resistant Programming Language System |
100
click to vote
CC
2002
Springer
15 years 1 months ago
2002
Springer
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
120
click to vote
PADL
2000
Springer
15 years 5 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
245
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...