92 search results - page 17 / 19 » A Generic Framework for Context-Sensitive Analysis of Modula... |
130
Voted
POPL
1990
ACM
15 years 6 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
115
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
130
Voted
ICSR
2004
Springer
15 years 8 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
117
Voted
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
137
Voted
FPCA
1989
15 years 6 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...