Sciweavers

10585 search results - page 396 / 2117
» The Orc Programming Language
Sort
View
APLAS
2007
ACM
15 years 10 months ago
Deriving Compilers and Virtual Machines for a Multi-level Language
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
Atsushi Igarashi, Masashi Iwaki
FAC
2010
259views more  FAC 2010»
15 years 5 months ago
An algebraic approach to the design of compilers for object-oriented languages
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
176
Voted
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
15 years 10 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach
FSTTCS
2007
Springer
16 years 29 days ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...
POPL
2007
ACM
16 years 7 months ago
Semantics of static pointcuts in aspectJ
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, O...