3516 search results - page 119 / 704 » Programming Languages: Application and Interpretation |
144
click to vote
JFLP
2002
15 years 4 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
139
click to vote
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
Software must be adapted to accommodate new features in the context of changing requirements. In this paper, we illustrate how applications with aspect weaving capabilities can be...
129
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
175
Voted
IFIP
1992
Springer
15 years 9 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
146
Voted
ENTCS
2006
15 years 4 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...