1538 search results - page 84 / 308 » Programming with Patterns |
108
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
109
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
214
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
83
Voted
ICSE
2005
IEEE-ACM
16 years 23 days ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
112
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...