An important tenet of LFG is the lexical integrity principle which says that the leaves of c structure trees are complete surface words Given this principle the morphological component is seen as distinct from the syntax It can be modelled by sublexical rules as we will illustrate below but the principles that apply to these rules are di erent from those applying in the syntax see Bresnan and M...

Internal DSLs are a special kind of DSLs that use an existing programming language as their host. To build them successfully, knowledge regarding how to modify the host language is essential. In this chapter, the author contributes six DSL design principles and 21 DSL design patterns. DSL Design principles provide guidelines that identify specific design goals to shape the syntax and semantic o...

Biological networks with a structured syntax are a powerful way of representing biological information generated from high density data; however, they can become unwieldy to manage as their size and complexity increase. This article presents a crowd-verification approach for the visualization and expansion of biological networks. Web-based graphical interfaces allow visualization of causal and ...

urban design problems have become so complex that no single designer is able to consider all aspects of a design area simultaneously. lately the application of computerized and scientific methods have helped designers analyze complex problems. one of these new methods is space syntax. the purpose of this study is to first investigate the strengths and weaknesses of this method and then suggest ...

In this issue, Karl Crary and Robert Harper respond to the critique of higher-order abstract syntax appearing in Logic Column 14, “Nominal Logic and Abstract Syntax” (SIGACT News 36(4), December 2005). I am always looking for contributions. If you have any suggestion concerning the content of the Logic Column, or if you would like to contribute by writing a column yourself, feel free to get in ...

In this paper, I argue for a declarative description of the syntax and semantics of punctuation marks (in English) couched in a feature/uniication-based phrase structure formalism, describe how Nunberg's (1990) syntactic analysis of punctuation can be combined with Dale's (1991) suggested semantic analysis within this framework, and present experimental evidence that 1) the resulting text gramm...

We present an initial semantics result for typed higher-order syntax based on monads and modules over monads. The notion of module generalizes the substitution structure of monads. For a simply typed binding signature S we define a representation of S to be a monad equipped with a morphism of modules for each of its arities. The monad of abstract syntax of S then is the initial object in the ca...

of syntactic theory are described. These include lexical, functional, and phrasal categories and how they are put together into clauses and sentences, how words are represented in the mental lexicon, how lexical properties project to the syntax, and how noun phrases are assigned structural and semantic information. Additionally, how sentences that are not canonically ordered are derived and rep...

Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalis...

Philosophers of language have lavished attention on names and other singular referring expressions. But they have focused primarily on what might be called lexical-semantic character of names and have largely ignored both what I call the lexical-syntactic character of names and also what I call the pragmatic significance of the naming relation. Partly as a consequence, explanatory burdens have ...