A B S T R A C T This study investigates the production of Quechua relative clauses by Peruvian adults and children, aged 2;8–4;7. Quechua relative clauses may be internally-headed, externally-headed or headless. Previous studies (e.g., O'Grady, 2003), suggested two outcomes: children will have less difficulty producing subject-gap relative clauses than other types; and, compared with adults, ch...

This study presents results from a sentence completion test that examines the production of finite main clauses and non-finite relative clauses in Turkish agrammatic speech. In main clauses, the verb is finite and all its constituents are in their base positions. In relative clauses, the verb is a participle and the NP undergoes overt movement to an A-bar position. The results show that non-fin...

Automatic program verification and symbolic model checking tools interface with theorem proving technologies that check satisfiability of formulas. A theme pursued in the past years by the authors of this paper has been to encode symbolic model problems directly as Horn clauses and develop dedicated solvers for Horn clauses. Our solvers are called Duality, HSF, SeaHorn, and μZ and we have devot...