1588 search results - page 167 / 318 » Modular action language |
181
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
125
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
146
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
146
click to vote
POPL
1990
ACM
15 years 7 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...
133
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...