3516 search results - page 27 / 704 » Programming Languages: Application and Interpretation |
MM
1995
ACM
15 years 1 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
154
Voted
POPL
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
137
click to vote
GTTSE
2007
Springer
16 years 7 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
167
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...