1445 search results - page 198 / 289 » Uniformly Hard Languages |
146
click to vote
TSE
1998
15 years 3 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
203
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
150
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
185
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
157
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...