1418 search results - page 73 / 284 » The Dynamic Complexity of Formal Languages |
135
click to vote
WIA
2009
Springer
15 years 10 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
123
Voted
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
143
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
105
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We discuss a framework for defining physical open systems on higher-dimensional complexes. We start with the formalization of the dynamics of open electrical circuits and the ...
138
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...