7661 search results - page 1330 / 1533 » Languages and the Computing Profession |
206
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
201
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
189
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
173
click to vote
CBMS
2009
IEEE
16 years 2 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
206
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...