6 |
Jthread, a deadlock-free mutex library
|
|
|
|
In: Principles and Practice of Declarative Programming ; https://hal.inria.fr/hal-01246618 ; Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, ⟨10.1145/2790449.2790523⟩ ; http://costa.ls.fi.upm.es/ppdp15/ (2015)
|
|
BASE
|
|
Show details
|
|
14 |
Symbolic execution based on language transformation
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015)
|
|
BASE
|
|
Show details
|
|
15 |
Antonymy In Space And Other Strictly Ordered Domains
|
|
|
|
In: Baltic International Yearbook of Cognition, Logic and Communication (2015)
|
|
BASE
|
|
Show details
|
|
16 |
The Sundial Tribe and the Labyrinth of Purpose
|
|
|
|
In: Dissertations - ALL (2015)
|
|
BASE
|
|
Show details
|
|
17 |
Some Puzzles of Politeness and Impoliteness within a Formal Semantics of Offensive Language ; Conflict and Multimodal Communication: Social Research and Machine Intelligence
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Temporal Forces and Type Coercion in Strings ; Proceedings of the 12th International Conference on Finite-State Methods and Natural Language Processing 2015 (FSMNLP 2015)
|
|
|
|
BASE
|
|
Show details
|
|
|
|