Sciweavers

10585 search results - page 329 / 2117
» The Orc Programming Language
Sort
View
152
Voted
ICLP
2003
Springer
15 years 10 months ago
A Logic Programming View of Authorization in Distributed Systems
William H. Winsborough
130
Voted
VL
1998
IEEE
136views Visual Languages» more  VL 1998»
15 years 9 months ago
Designing New Programming Constructs in a Data Flow VL
A powerful and useful Data-Flow Visual Programming Language (DFVPL) must provide the necessary programming constructs to deal with complex problems. The main purpose of this paper...
Elena Ghittori, Mauro Mosconi, Marco Porta
133
Voted
GPCE
2009
Springer
15 years 9 months ago
A language and framework for invariant-driven transformations
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stol...