The present study examines the interface between syntax and discourse-pragmatics in the production of verb second (V2) structures in a corpus of English texts by advanced L1 German and Dutch speakers. The evidence shows that the residual V2 produced by the learner groups studied is the result of a deficit at the interface rather than the transfer of narrow V2 syntax per se. The analysis offered...

Recent discussions of grammatical architectures have distinguished two competing approaches to the syntax-semantics interface: syntactocentrism, wherein syntactic structures are mapped or transduced to semantics (and phonology), vs. parallelism, wherein semantics (and phonology) communicates with syntax via a nondirectional (or relational) interface. This contrast arises for instance in dealing...

Frege’s Begriffschrift [3] introduced new levels of sophistication and complexity in logical syntax and its representation; its twodimensional nature has proved a stumbling block for those seeking to understand Frege’s ideas and his system. It is, however, merely a form of abstract syntax for a higher-order predicate logic, with proofs represented linearly and formulae two-dimensionally. Our wo...

Formal methods are playing an increasingly important role in software development. The use of algebraic languages to formally specify software systems provides a better understanding of the functionality of the software and aids in ensuring the correctness and reliability of the software. However, to ensure software correctness and completeness, the formal speciication of the system must rst be...

Studies of ultimate attainment in adult second-language (L2) acquisition report a disjunction between success in acquiring the syntax of the target language (TL), on the one hand, and persistent difficulties at the interfaces of syntax with other grammatical modules, e.g. discourse-pragmatics, on the other. However, there continues to be debate as to whether these difficulties arise from devian...

interface language could be developed for other languages such as Verilog or even a Larch-based speciication. A parser would be developed that translates the VSPEC interface for each of these languages into a general abstract syntax tree. Constraint checking and other analysis could be performed on the general AST independent of the original language of the speciication. Tools to synthesize des...

Abstract syntax trees are a very common data-structure in language related tools. For example compilers, interpreters, documentation generators, and syntax-directed editors use them extensively to extract, transform, store and produce information that is key to their functionality. We present a Java back-end for ApiGen, a tool that generates implementations of abstract syntax trees. The generat...

Abstract syntax trees are a very common data-structure in language related tools. For example compilers, interpreters, documentation generators, and syntax-directed editors use them extensively to extract, transform, store and produce information that is key to their functionality. We present a Java back-end for ApiGen, a tool that generates implementations of abstract syntax trees. The generat...

This paper discusses root phenomena in imperative clauses, assuming as diagnostics conversational dynamics and the type of discourse categories that are admitted their C-domain, through a systematic comparative interface investigation three languages (English, Italian Spanish) based on an original experimental work. novel perspective sheds new light syntax-semantics mapping (syntax-prosody) pro...

this study explores the nature of relatively free word order of verbs and their arguments in persian. based on the theory of phases and multiple spell-out which is an instantiation of minimalist program, we attempt to account for the restrictions on these word order variations. having a direct interaction with the syntax-phonology interface rather than a purely syntactic one, these restrictions...