en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Consel
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(103)
related tags
tags
dblp
imported
qos
extra-functional
visual
prototyping
devicedriver
dsl
traceability
ubiquitous
specification
ubiquitouscomputing
No matching items.
Polyvariant Binding-Time Analysis For Applicative Languages.
Charles Consel
.
PEPM,
page 66-77.
ACM,
(
1993
)
Charles Consel
.
PEPM,
page 66-77.
ACM,
(
1993
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages.
Charles Consel
.
PEPM,
page 145-154.
ACM,
(
1993
)
Charles Consel
.
PEPM,
page 145-154.
ACM,
(
1993
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Efficient Incremental Run-Time Specialization for Free.
Renaud Marlet
,
Charles Consel
, and
Philippe Boinot
.
PLDI,
page 281-292.
ACM,
(
1999
)
Renaud Marlet
,
Charles Consel
, and
Philippe Boinot
.
PLDI,
page 281-292.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Parameterized Partial Evaluation.
Charles Consel
, and
Siau-Cheng Khoo
.
PLDI,
page 92-106.
ACM,
(
1991
)
Charles Consel
, and
Siau-Cheng Khoo
.
PLDI,
page 92-106.
ACM,
(
1991
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.
Amir Kishon
,
Paul Hudak
, and
Charles Consel
.
PLDI,
page 338-352.
ACM,
(
1991
)
Amir Kishon
,
Paul Hudak
, and
Charles Consel
.
PLDI,
page 338-352.
ACM,
(
1991
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Devil: An IDL for Hardware Programming.
Fabrice Mérillon
,
Laurent Réveillère
,
Charles Consel
,
Renaud Marlet
, and
Gilles Muller
.
OSDI,
page 17-30.
USENIX Association,
(
2000
)
Fabrice Mérillon
,
Laurent Réveillère
,
Charles Consel
,
Renaud Marlet
, and
Gilles Muller
.
OSDI,
page 17-30.
USENIX Association,
(
2000
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Static and Dynamic Semantics Processing.
Charles Consel
, and
Olivier Danvy
.
POPL,
page 14-24.
ACM Press,
(
1991
)
Charles Consel
, and
Olivier Danvy
.
POPL,
page 14-24.
ACM Press,
(
1991
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Tutorial Notes on Partial Evaluation.
Charles Consel
, and
Olivier Danvy
.
POPL,
page 493-501.
ACM Press,
(
1993
)
Charles Consel
, and
Olivier Danvy
.
POPL,
page 493-501.
ACM Press,
(
1993
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A General Approach for Run-Time Specialization and its Application to C.
Charles Consel
, and
François Noël
.
POPL,
page 145-156.
ACM Press,
(
1996
)
Charles Consel
, and
François Noël
.
POPL,
page 145-156.
ACM Press,
(
1996
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Declarative Specialization of Object-Oriented Programs.
Eugen-Nicolae Volanschi
,
Charles Consel
,
Gilles Muller
, and
Crispin Cowan
.
OOPSLA,
page 286-300.
ACM,
(
1997
)
Eugen-Nicolae Volanschi
,
Charles Consel
,
Gilles Muller
, and
Crispin Cowan
.
OOPSLA,
page 286-300.
ACM,
(
1997
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact
author