10072 search results - page 22 / 2015 » Composition of Model Programs |
106
click to vote
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
125
click to vote
ASE
1999
15 years 1 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
116
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
190
Voted
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...