Sciweavers

6740 search results - page 473 / 1348
» Using Classification as a Programming Language
Sort
View
ENTCS
2008
129views more  ENTCS 2008»
15 years 4 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
CC
2009
Springer
153views System Software» more  CC 2009»
15 years 2 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
PLDI
1997
ACM
15 years 8 months ago
Componential Set-Based Analysis
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
Cormac Flanagan, Matthias Felleisen
HYBRID
2009
Springer
15 years 11 months ago
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
Patrick Martin, Magnus Egerstedt
ICSM
2009
IEEE
15 years 11 months ago
Inquiring the usage of aspect-oriented programming: An empirical study
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
Freddy Munoz, Benoit Baudry, Romain Delamare, Yves...