1418 search results - page 34 / 284 » The Dynamic Complexity of Formal Languages |
121
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
114
click to vote
APAQS
2000
IEEE
15 years 6 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
106
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
139
click to vote
AIML
2008
15 years 3 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
101
click to vote
TOOLS
2010
IEEE
15 years 6 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...