2496 search results - page 163 / 500 » Error-detecting properties of languages |
145
Voted
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
146
click to vote
RP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
129
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
144
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
130
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...