Sciweavers

742 search results - page 47 / 149
» Formal Grammar for Java
Sort
View
CLIN
2001
13 years 9 months ago
Performance Grammar: a Declarative Definition
In this paper we present a definition of Performance Grammar (PG), a psycholinguistically motivated syntax formalism, in declarative terms. PG aims not only at describing and expl...
Gerard Kempen, Karin Harbusch
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 8 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
CORR
1998
Springer
127views Education» more  CORR 1998»
13 years 7 months ago
Towards an implementable dependency grammar
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
Timo Järvinen, Pasi Tapanainen
ENTCS
2006
117views more  ENTCS 2006»
13 years 8 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 1 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting