Sciweavers

3307 search results - page 19 / 662
» The meaning of concurrent programs
Sort
View
103
Voted
PSC
1992
15 years 4 months ago
Design of a Concurrent and Distributed Language
Christian Queinnec, David De Roure
72
Voted
POPL
1991
ACM
15 years 4 months ago
Modeling Concurrency with Geometry
Vaughan R. Pratt
119
Voted
MM
2004
ACM
114views Multimedia» more  MM 2004»
15 years 6 months ago
ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
Ge Wang, Perry R. Cook
ESOP
1999
Springer
15 years 5 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...