1665 search results - page 207 / 333 » Design Patterns as Language Constructs |
131
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
116
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
152
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we describe several findings from a multi-year, multi-method study of how information and communication technologies have been adopted and adapted in Central Asia. ...
199
click to vote
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
163
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...