81,277 Hits in 6.9 sec

A syntactic theory of type generativity and sharing

Xavier Leroy
1996 Journal of functional programming  
AbstractThis paper presents a purely syntactic account of type generativity and sharing – two key mechanisms in the SML module system – and shows its equivalence with the traditional stamp-based description  ...  This syntactic description recasts the SML module system in a more abstract, type-theoretic framework.  ...  Therefore, a theory of type generativity must not go too far and e.g. systematically generate new types for all functor applications.  ... 
doi:10.1017/s0956796800001933 fatcat:g6bwvox7vbbwrhswei64eai65u

A General Model Transformation Methodology to Serve Enterprise Interoperability Data Sharing Problem [chapter]

Tiexin Wang, Sebastien Truptil, Frederick Benaben
2015 Lecture Notes in Business Information Processing  
This paper presents a general model transformation methodology "combining semantic check measurement and syntactic check measurement into refined model transformation processes" and the mechanism of using  ...  "Sharing data among heterogeneous partners" is one of the most basic common interoperability problems, which requires a general methodology to serve.  ...  With the improvement on some of the details that involved in this GMTM, this methodology may serve to a large number of domains.  ... 
doi:10.1007/978-3-662-47157-9_2 fatcat:hd4odjdzwfbe3mm4hz5j6swsfe

Structural priming can inform syntactic analyses of partially grammaticalized constructions

Elaine J. Francis
2017 Behavioral and Brain Sciences  
Branigan & Pickering (B&P) argue successfully that structural priming provides valuable information for developing psychologically plausible syntactic and semantic theories.  ...  I then consider cases in which evidence from priming cannot distinguish between competing syntactic analyses.  ...  A psychologically plausible theory of syntactic and semantic representation must therefore take into account many different types of evidence, each of which has its own advantages and limitations.  ... 
doi:10.1017/s0140525x1700036x pmid:29342713 fatcat:mtljy4wmvvejrjs6bzweurqz4y


1996 English Linguistics  
Secondly, structure sharing is a general mechanism which comprises more than one type that differ in the type of shared substructure: the one in which the entire SYNSEM value of a sign is shared, the one  ...  P&S-94 analyzes both types with a single feature and a principle, employing the mechanism of structure sharing of different sorts.  ...  The central mechanism of the theory is structure sharing.  ... 
doi:10.9793/elsj1984.13.367 fatcat:nqssmakslbd7hld4w4geipyona

Extracting HPSG Lexicon from Arabic VerbNet

Noureddine Loukil, Kais Haddar
2016 Research in Computing Science  
This paper presents the construction of a HPSG lexicon of Arabic verbal entities, automatically inferred from the Arabic VerbNet, a large coverage verb lexicon where verbs are classified using syntactic  ...  Extensive analysis of the Arabic VerbNet classes has led to the adoption of a finite set of mapping rules between AVN classes and HPSG subcategorization and semantics descriptions covering the majority  ...  It encompasses syntax and semantics shared among a set of verbs (the members of the class).  ... 
doi:10.13053/rcs-117-1-3 fatcat:ckj7djq7jzdc3ooxo2vbktpk34


Miriam Lemle, Isabella Lopes Pederneira
2011 Revista da ABRALIN  
A análise comparativa de verbos cognatos em línguas parentes fornece informações relevantes para esclarecer a distinção teórica necessária entre dois tipos de propriedades semânticas dos verbos.  ...  Structure (d) is shared for L A T S -S I : A S O C V I B P - A I 132 several types of 'beatings' and 'poundings' but not for 'nail poundings' and 'children hittings' in Italian.  ...  Of course: no syntactic sharing, no semantic sharing. Syntax is really very strong! And the two verbs don't "count" as the "same" verb to bilingual speakers.  ... 
doi:10.5380/rabl.v10i2.32062 fatcat:jwp6vdd575exzkj3nnoxbmgjse

Introduction [chapter]

1979 Linguistics, Philosophy, and Montague Grammar  
'The theory of relativity is shiny' is such a sentence. Waldo first proposes a grammar which generates and allows for the interpretation of a range of sortally incorrect sentences.  ...  The second part of Dowty's paper introduces a general theory of word formation for Montague grammar.  ... 
doi:10.7560/746251-002 fatcat:uty4wmm2zjfyrl3erqolp277ja

Controlled Natural Language Generation from a Multilingual FrameNet-Based Grammar [chapter]

Dana Dannélls, Normunds Gruzitis
2014 Lecture Notes in Computer Science  
First, it offers a methodological approach to automatically generate the grammar based on semantico-syntactic valence patterns extracted from FrameNet-annotated corpora.  ...  Second, it provides a proof of concept for two use cases illustrating how the acquired multilingual grammar can be exploited in different CNL applications in the domains of arts and tourism.  ...  syntactic annotations • Rules and heuristics for generalizing to RGL types, and for deciding the syntactic roles • A lot of automatic annotation errors  heuristic correction (partial) mkCl person (mkVP  ... 
doi:10.1007/978-3-319-10223-8_15 fatcat:y3sgo2cr3vglpdyjuxzyrmft4e

Building a Tibetan Syntactic and Semantic Dependency Treebank

Tashi Gyal, Likun Qiu
2016 Innovative Computing Information and Control Express Letters, Part B: Applications  
Further, we work out a syntactic and semantic annotation schema for Tibetan, and train a syntactic parsing system and a semantic parsing system on our newly-built Tibetan dependency treebank.  ...  This paper takes dependency grammar as the theoretical basis to build a Tibetan syntactic and semantic dependency treebank. We first introduce the basic principles of dependency grammar.  ...  Fund of China (No. 14ZDB101), Innovative Support Program for Young Teachers of Tibetan Universities (QC2015-19), and Zhufeng Scholar Project.  ... 
doi:10.24507/icicelb.07.07.1645 fatcat:wdrld3hsdzbjbmqrl7a7frdrau

Page 651 of Computational Linguistics Vol. 20, Issue 4 [page]

1994 Computational Linguistics  
However, D-theory is a purely syntactic theory, which does not construct a semantic interpretation, and in many cases it creates the same underspecified syntactic analysis for sentences that require different  ...  types of interpretations.  ... 

Feature sharing in agreement

Dag Trygve Truslew Haug, Tatiana Nikitina
2015 Natural language & linguistic theory  
This article discusses the mechanism of feature sharing in the analysis of agreement across theories.  ...  We also show that phenomena in Tsez and in Algonquian that have so far been described in terms of long distance agreement lend themselves to a treatment in terms of feature sharing, and we look at the  ...  Acknowledgements We thank Oleg Belyaev, Grev Corbett, Mary Dalrymple, Michael Daniel, Marius Jøhndal, Louisa Sadler, associate editor Ad Neeleman and NLLT reviewers for valuable feedback on the research  ... 
doi:10.1007/s11049-015-9321-9 fatcat:kdp7yctizfelbi7nvuv5ljqrwu

No nouns, no verbs? A rejoinder to Panagiotidis

David Barner, Alan Bale
2005 Lingua  
Regarding overgeneration, it is argued that syntactic proposals, whether lexicalist or non-lexicalist, fail to generate ungrammatical strings of the type described by Panagiotidis, and that the productivity  ...  We conclude that the systematic interpretation of purely syntactic features supports a narrow syntactic theory of noun-verb innovation, but that the residual idiosyncrasy argues for a non-lexicalist theory  ...  Both lexicalist and non-lexicalist theories require the acquisition of syntactic features and rules for generating phrases.  ... 
doi:10.1016/j.lingua.2004.05.001 fatcat:euixpo7x45boboh7tjds6mcray

Logical Relations as Types: Proof-Relevant Parametricity for Program Modules [article]

Jonathan Sterling, Robert Harper
2021 arXiv   pre-print
Our main result is a (significant) proof-relevant and phase-sensitive generalization of the Reynolds abstraction theorem for a calculus of program modules, based on a new kind of logical relation called  ...  Using the insight that logical relations/parametricity is itself a form of phase distinction between the syntactic and the semantic, we contribute a new synthetic approach to phase separated parametricity  ...  Any opinions, ndings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily re ect the views of the AFOSR.  ... 
arXiv:2010.08599v3 fatcat:egvxsje5qbhzbgguct6cv47sjy

Page 567 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 2 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
Impersonal Construction of the Type svetaet: On the History and Theory of the Issue), WW Russian Linguistics, 1993, 17, 2, 181-203.  ...  Predi- cation, WW Linguistic Inquiry, 1993, 24, 4, fall, 591-656. 1 A general theory of predication, made possible by the incorporation of functional heads in X-bar theory, postulates a universal D-structure  ... 

Remarks on marking

Jesse Tseng
2002 Proceedings of the International Conference on Head-Driven Phrase Structure Grammar  
This paper calls for a reexamination of the Marking Theory of HPSG, which in its standard form involves a considerable amount of dedicated formal machinery, but which proves to be inapplicable for most  ...  types of grammatical marking.  ...  Otherwise, the SYNSEM specifications of the head daughter and of the mother are shared, by the Generalized HFP.  ... 
doi:10.21248/hpsg.2001.18 fatcat:47yir5yhobhk5iqbnuxppdi3oq
« Previous Showing results 1 — 15 out of 81,277 results