2722 search results - page 102 / 545 » Automating Language Evolution |
114
click to vote
AAMAS
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. How and where are the universal features of language specified? We consider language users as situated agents acting as conduits for the cultural transmission of language...
118
click to vote
COMSIS
2010
14 years 12 months ago
2010
Abstract. Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions an...
121
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
114
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...
100
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...