Sciweavers

10575 search results - page 506 / 2115
» T2Script Programming Language
Sort
View
WOA
2000
15 years 8 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
Simone Marini, Maurizio Martelli, Viviana Mascardi...
POPL
2005
ACM
16 years 7 months ago
Downgrading policies and relaxed noninterference
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
Peng Li, Steve Zdancewic
AOSD
2006
ACM
16 years 25 days ago
Relationship aspects
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
David J. Pearce, James Noble
LICS
1994
IEEE
15 years 11 months ago
A Multiple-Conclusion Meta-Logic
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
Dale Miller

Book
358views
17 years 5 months ago
Java for the Beginning Programmer
"Java for the Beginning Programmer teaches Java to someone with absolutely no programming background. This book focuses on core programming topics such as variables, looping, ...
Jeff Heaton