Sciweavers

3307 search results - page 136 / 662
» The meaning of concurrent programs
Sort
View
ERLANG
2007
ACM
15 years 4 months ago
Learning programming with Erlang
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
Frank Huch
PPDP
2009
Springer
15 years 7 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
87
Voted
ICLP
2003
Springer
15 years 6 months ago
Native Preemptive Threads in SWI-Prolog
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
Jan Wielemaker
95
Voted
CSL
1989
Springer
15 years 4 months ago
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
Yuri Gurevich, Lawrence S. Moss
CONCUR
2006
Springer
15 years 4 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra