Sciweavers

3311 search results - page 271 / 663
» Deductive Object Programming
Sort
View
119
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Design patterns: between programming and software design
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
Christoph Denzler, Dominik Gruntz
102
Voted
WWW
2009
ACM
15 years 9 months ago
Mashroom: end-user mashup programming using nested tables
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
Guiling Wang, Shaohua Yang, Yanbo Han
122
Voted
ESOP
2009
Springer
15 years 9 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
139
Voted
GPCE
2004
Springer
15 years 8 months ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
122
Voted
CLOUD
2010
ACM
15 years 7 months ago
Towards automatic optimization of MapReduce programs
Timely and cost-effective processing of large datasets has become a critical ingredient for the success of many academic, government, and industrial organizations. The combination...
Shivnath Babu