7124 search results - page 345 / 1425 » Programming Languages and Operating Systems |
212
click to vote
GSEM
2004
Springer
16 years 3 days ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
167
Voted
VIP
2003
15 years 8 months ago
2003
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) de...
202
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
212
Voted
ENTCS
2006
15 years 6 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
165
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...