1152 search results - page 57 / 231 » The Scratch Programming Language and Environment |
ICALP
2010
Springer
15 years 8 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...
115
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
162
click to vote
TOOLS
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
125
click to vote
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
137
click to vote
CD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...