10622 search results - page 520 / 2125 » Python Programming Language |
258
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
178
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Research on web mashups and visual languages share an interest in human-centered computing. Both research communities are concerned with supporting programming by everyday, techni...
183
click to vote
ESOP
2005
Springer
16 years 17 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
160
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
201
click to vote
DOOD
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...