Sciweavers

10899 search results - page 217 / 2180
» The GP Programming System
Sort
View
149
Voted
FUIN
2002
94views more  FUIN 2002»
15 years 3 months ago
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
Hanna Klaudel, Franck Pommereau
ICFP
2009
ACM
16 years 4 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
SMALLTALK
2007
Springer
15 years 9 months ago
Context-oriented programming: beyond layers
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ï¬...
Martin von Löwis, Marcus Denker, Oscar Nierst...
CASCON
1993
106views Education» more  CASCON 1993»
15 years 5 months ago
Enterprise in context: assessing the usability of parallel programming environments
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...
Gregory V. Wilson, Jonathan Schaeffer, Duane Szafr...
ENTCS
2002
84views more  ENTCS 2002»
15 years 3 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner