6740 search results - page 382 / 1348 » Using Classification as a Programming Language |
114
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
148
Voted
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
116
click to vote
LREC
2010
15 years 5 months ago
2010
Languages are born, evolve and, eventually, die. During this evolution their spelling rules (and sometimes the syntactic and semantic ones) change, putting old documents out of us...
131
Voted
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
160
Voted
AFP
2008
Springer
15 years 10 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...