5377 search results - page 226 / 1076 » Programming Languages For Interactive Computing |
149
click to vote
ALP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
100
Voted
WCRE
2006
IEEE
15 years 7 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
VL
2008
IEEE
15 years 7 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...
79
Voted
ICALP
2010
Springer
15 years 5 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...
122
Voted
DOOD
1997
Springer
15 years 5 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 ...