21 |
Coercion for the ages? A thousand years of parallel inchoative histories for the French passé simple and passé composé
|
|
|
|
In: Proceedings of the Linguistic Society of America ; LSA 2020 (94th Annual Meeting of the Linguistic Society of America) ; https://hal.archives-ouvertes.fr/hal-03100052 ; LSA 2020 (94th Annual Meeting of the Linguistic Society of America), Jan 2020, New Orleans, United States. pp.51-66, ⟨10.3765/plsa.v5i2.4793⟩ (2020)
|
|
BASE
|
|
Show details
|
|
22 |
Causal necessity, causal sufficiency, and the implications of causative verbs
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 5, No 1 (2020); 49 ; 2397-1835 (2020)
|
|
BASE
|
|
Show details
|
|
23 |
Investigating the Language of Uncertainty - experimental data, formal semantics & probabilistic pragmatics ...
|
|
|
|
BASE
|
|
Show details
|
|
24 |
Taking Offence ; {11th IEEE International Conference on Cognitive Infocommunications (CogInfoCom2020)
|
|
|
|
BASE
|
|
Show details
|
|
25 |
The Safely Composable DOM. Core SC DOM: A Formal Model of the Document Object Model for Safe Components
|
|
|
|
Abstract:
This is the final version. Available from AFP via the link in this record ; In this AFP entry, we formalize the core of the Safely Composable Document Object Model (SC DOM). The SC DOM improve the standard DOM by strengthening the tree boundaries set by shadow roots: in the SC DOM, the shadow root is a sub-class of the document class (instead of a base class). This modifications also results in changes to some API methods (e.g., getOwnerDocument) to return the nearest shadow root rather than the document root. As a result, many API methods that, when called on a node inside a shadow tree, would previously “break out” and return or modify nodes that are possibly outside the shadow tree, now stay within its boundaries. This change in behavior makes programs that operate on shadow trees more predictable for the developer and allows them to make more assumptions about other code accessing the DOM.
|
|
Keyword:
Document Object Model; DOM; Formal Semantics; Isabelle/HOL; Safely Composable DOM; SC DOM
|
|
URL: http://hdl.handle.net/10871/124231
|
|
BASE
|
|
Hide details
|
|
26 |
Meinungsäußerung und –steuerung aus pragmalinguistischer Sicht. Handlungstypen und Verwendungsmuster ; Opinion expressions and opinion-directing function from a pragmalinguistic perspective
|
|
|
|
BASE
|
|
Show details
|
|
27 |
Investigating the Language of Uncertainty - experimental data, formal semantics & probabilistic pragmatics
|
|
|
|
BASE
|
|
Show details
|
|
28 |
Coercion for the ages? A thousand years of parallel inchoative histories for the French passé simple and passé composé
|
|
|
|
In: Proceedings of the Linguistic Society of America; Vol 5, No 2 (2020): PLSA Special Issue – Formal Approaches to Grammaticalization; 51–66 ; 2473-8689 (2020)
|
|
BASE
|
|
Show details
|
|
30 |
Natural Language Semantics and Computability
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-01315316 ; Journal of Logic, Language and Information, Springer Verlag, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩ (2019)
|
|
BASE
|
|
Show details
|
|
33 |
Accompaniment by participation: The interpretation of mit as a free particle in German
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 4, No 1 (2019); 76 ; 2397-1835 (2019)
|
|
BASE
|
|
Show details
|
|
34 |
Measuring the cognitive cost of downward monotonicity by controlling for negative polarity
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 4, No 1 (2019); 36 ; 2397-1835 (2019)
|
|
BASE
|
|
Show details
|
|
35 |
The Determinacy Scale: A Competition Mechanism for Anaphoric Expressions
|
|
|
|
BASE
|
|
Show details
|
|
37 |
Quantificational DP arguments of opaque predicates in German
|
|
|
|
BASE
|
|
Show details
|
|
38 |
Specification of methods and the semantics of method-oriented adverbs
|
|
|
|
In: Proceedings of the Linguistic Society of America; Vol 4 (2019): Proceedings of the Linguistic Society of America; 22:1–15 ; 2473-8689 (2019)
|
|
BASE
|
|
Show details
|
|
|
|