Sciweavers

4067 search results - page 95 / 814
» Programs for Applying Symmetries
Sort
View
TGC
2007
Springer
14 years 2 months ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper
SAC
2004
ACM
14 years 1 months ago
Aspect Oriented Programming for a component-based real life application: a case study
Aspect Oriented Programming, a relatively new programming paradigm, earned the scientific community’s attention. The paradigm is already evaluated for traditional OOP and compo...
Odysseas Papapetrou, George A. Papadopoulos
BIRTHDAY
2008
Springer
13 years 10 months ago
Session and Union Types for Object Oriented Programming
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani...
ESSOS
2009
Springer
14 years 22 days ago
Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
Munawar Hafiz, Paul Adamczyk, Ralph E. Johnson
SSR
2001
134views more  SSR 2001»
13 years 9 months ago
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Kurt Stirewalt, Laura K. Dillon