Sciweavers

2477 search results - page 185 / 496
» First-Order Interactive Programming
Sort
View
ERLANG
2003
ACM
14 years 2 months ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
LICS
1993
IEEE
14 years 1 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
13 years 9 months ago
Introducing concurrency in CS 1
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P....
CORR
2007
Springer
108views Education» more  CORR 2007»
13 years 9 months ago
Instruction sequences with indirect jumps
We study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions wher...
Jan A. Bergstra, C. A. Middelburg
UM
2001
Springer
14 years 1 months ago
Enhancing Embodied Intelligent Agents with Affective User Modelling
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
Patrick Gebhard