6054 search results - page 107 / 1211 » Implementation of Andorra-based Languages |
174
click to vote
INFSOF
2000
15 years 4 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
141
click to vote
CAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
104
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
127
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
182
click to vote
AWPN
2008
15 years 6 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...