Search Sciweavers | Sciweavers

330 search results - page 3 / 66

» Reflections on a programming Olympiad

141

click to vote

LICS
2010
IEEE

146views Automated Reasoning» more LICS 2010»

Recursion Schemes and Logical Reflection

15 years 1 months ago

Download hal.archives-ouvertes.fr

Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...

Christopher H. Broadbent, Arnaud Carayol, C.-H. Lu...

claim paper

Read More »

Voted

ECOOP
2004
Springer

74views Programming Languages» more ECOOP 2004»

RAMSES: a Reflective Middleware for Software Evolution

15 years 9 months ago

Download homes.dico.unimi.it

Ahmed Ghoneim, Walter Cazzola

claim paper

Read More »

110

click to vote

POS
1998
Springer

56views Programming Languages» more POS 1998»

Variadic Genericity Through Linguistic Reflection: A Performance Evaluation

15 years 8 months ago

Download www.cs.st-andrews.ac.uk

Graham N. C. Kirby, Ronald Morrison

claim paper

Read More »

118

click to vote

POS
1994
Springer

83views Programming Languages» more POS 1994»

START: A Linguistic Reflection Tool Using Hyper-Program Technology

15 years 8 months ago

Download www.cs.st-andrews.ac.uk

Graham N. C. Kirby, Richard C. H. Connor, Ronald M...

claim paper

Read More »

101

click to vote

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers