439 search results - page 17 / 88 » Program Generators and the Tools to Make Them |
163
Voted
BALT
2010
14 years 6 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
198
Voted
CC
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
77
Voted
ENTCS
2007
14 years 11 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
100
click to vote
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...