10585 search results - page 638 / 2117 » The Orc Programming Language |
202
click to vote
SFP
2004
15 years 8 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
193
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...
155
click to vote
TBILLC
2005
Springer
16 years 21 days ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...
216
click to vote
PET
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
200
click to vote
SAS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...