6583 search results - page 36 / 1317 » Semantic Analysis Patterns |
103
Voted
ETS
2007
IEEE
15 years 2 months ago
2007
IEEE
123
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
113
Voted
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
107
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
116
Voted
ISPD
1998
ACM
15 years 7 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...