27119 search results - page 325 / 5424 » Languages |
212
click to vote
DLS
2010
15 years 4 months ago
2010
Proxies are a powerful approach to implement meta-objects in object-oriented languages without having to resort to metacircular interpretation. We introduce such a meta-level API ...
137
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We present an evaluation of pattern languages as tools for participatory design, based on three criteria, derived from the work of Christopher Alexander: empowering users, generat...
261
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
157
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
163
click to vote
TYPES
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...