3307 search results - page 143 / 662 » The meaning of concurrent programs |
103
click to vote
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
120
click to vote
POPL
1994
ACM
15 years 5 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
110
click to vote
POPL
1992
ACM
15 years 5 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
109
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
115
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...