Sciweavers

3595 search results - page 133 / 719
» Roles of Program Extension
Sort
View
EUROPAR
2003
Springer
15 years 9 months ago
Why Not Use a Pattern-Based Parallel Programming System?
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
John Anvik, Jonathan Schaeffer, Duane Szafron, Kai...
ICSM
2002
IEEE
15 years 9 months ago
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
Matthias M. Müller, Rainer Typke, Oliver Hagn...
AGP
2010
IEEE
15 years 2 months ago
Concurrent and Reactive Constraint Programming
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D...
ICFP
2010
ACM
15 years 5 months ago
Fortifying macros
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
Ryan Culpepper, Matthias Felleisen
TCS
2008
15 years 4 months ago
Role-based access control for boxed ambients
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bi...