10575 search results - page 1744 / 2115 » Programming Languages |
167
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
177
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
137
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
285
click to vote
IGARSS
2010
15 years 1 months ago
2010
During the summer of 2009, the Characterization of Arctic Sea Ice Experiment 2009 (CASIE-09) operated a small, unmanned aircraft system (UAS) over the Arctic Ocean for a number of ...