6201 search results - page 138 / 1241 » Implementation of Axiomatic Language |
139
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...
102
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...
126
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 ...
179
click to vote
AWPN
2008
15 years 5 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 ...
158
click to vote
IFIP12
2007
15 years 5 months ago
2007
In this paper an efficient architecture for natural language processing is presented, implemented in hardware using FPGAs (Field Programmable Gate Arrays). The system can receive s...