4355 search results - page 223 / 871 » From Interpretation to Compilation |
166
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
187
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
170
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
334
click to vote
ACMMSP
2006
ACM
16 years 1 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
208
click to vote
APLAS
2004
ACM
16 years 20 days ago
2004
ACM
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...