Sciweavers

10899 search results - page 342 / 2180
» The GP Programming System
Sort
View
PADL
2000
Springer
15 years 10 months ago
Programming Deep Concurrent Constraint Combinators
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
Christian Schulte
ESOP
2008
Springer
15 years 8 months ago
Inferring Channel Buffer Bounds Via Linear Programming
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
Tachio Terauchi, Adam Megacz
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 6 months ago
JERPA: a distance-learning environment for introductory Java programming courses
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
David Emory, Roberto Tamassia
ICIP
1994
IEEE
16 years 8 months ago
An Object-oriented Optimization System
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
G. S. Cunningham, K. M. Hanson, G. R. Jennings Jr....
PPDP
2000
Springer
15 years 10 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....