PPDP
2010
Springer
13 years 10 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
POPL
2010
ACM
13 years 10 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
IFIP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In future ubiquitous communication environments, users expect to move freely while continuously interacting with the available applications through a variety of devices. ...
IFIP
2010
Springer
13 years 10 months ago
2010
Springer
In online shopping scenarios, it can be difficult for consumers to process the vast amounts of information available and to make satisfactory buying decisions. Interactive decision...
IFIP
2010
Springer
13 years 10 months ago
2010
Springer
IFIP
2010
Springer
13 years 10 months ago
2010
Springer
IFIP
2010
Springer
13 years 10 months ago
2010
Springer