644 search results - page 52 / 129 » Precedence Automata and Languages |
124
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
168
click to vote
CALCO
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
149
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
183
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...
172
click to vote
ESOP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...