1588 search results - page 41 / 318 » Modular action language |
161
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
164
click to vote
JMLC
2000
Springer
15 years 9 months ago
2000
Springer
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
152
click to vote
ICEBE
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
181
click to vote
PLDI
2009
ACM
16 years 25 days ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
151
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...