2236 search results - page 112 / 448 » Language Independence and Language Tolerance in Logic Progra... |
163
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
All software systems are subject to evolution, independently by the developing technique. Aspect oriented software in addition to separate the different concerns during the softwar...
166
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
210
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
167
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
171
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...