4257 search results - page 107 / 852 » The Logical Modularity of Programs |
121
Voted
CONCUR
1993
Springer
15 years 9 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
154
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
167
Voted
TSE
2008
15 years 4 months ago
2008
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
144
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
157
click to vote
ENTCS
2008
15 years 5 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...