6201 search results - page 189 / 1241 » Implementation of Axiomatic Language |
113
click to vote
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
132
click to vote
POPL
1996
ACM
15 years 8 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
175
click to vote
TOOLS
1992
IEEE
15 years 8 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...
127
click to vote
ASSETS
2007
ACM
15 years 8 months ago
2007
ACM
We discuss important factors in the design of evaluation studies for systems that generate animations of American Sign Language (ASL) sentences. In particular, we outline how some...
153
click to vote
DNA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...