R is a dynamic language for statistical computing that combines lazy functional features and
object-oriented programming. This rather unlikely linguistic cocktail would probably never …

In language-oriented programming and modeling, software developers are largely
concerned with the definition of domain-specific languages (DSLs) and their composition …

As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex
systems, the current generation of modelling and model management technologies are …

MetaOCaml is a superset of OCaml extending it with the data type for program code and
operations for constructing and executing such typed code values. It has been used for …

The fifth edition delivers up-to-date coverage of every conceivable aspect in modern-day
management of contact dermatitis. Leading experts have thoroughly updated the previous …

Книга посвящена одной из самых практически применимых, активных и
быстроразвивающихся областей современной информатики, объединяющей …

We introduce partial Markov categories. In the same way that Markov categories encode
stochastic processes, partial Markov categories encode stochastic processes with …

We consider the problem of energy minimization for periodic preemptive hard real-time tasks
that are scheduled on an identical multiprocessor platform with dynamic voltage scaling …

PL/SQL integrates an imperative statement-by-statement style of programming with the plan-
based evaluation of SQL queries. The disparity of both leads to friction at runtime, slowing …

Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new
type-level programming features for some time. Many of these features—generalized …