10585 search results - page 226 / 2117 » The Orc Programming Language |
210
Voted
CADE
2011
Springer
14 years 2 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...
122
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
126
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
135
Voted
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
88
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...