796 search results - page 114 / 160 » The Semantics of Abstract Program Slicing |
OOPSLA
2001
Springer
14 years 11 days ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
IFL
1998
Springer
14 years 5 days ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
MABS
2004
Springer
14 years 1 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
AOSD
2010
ACM
13 years 8 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...