Results 71 to 80 of about 856,744 (186)

Formal Language for Objects’ Transactions

Standards
The gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs.
Mo Adda
doaj   +1 more source

Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats [PDF]

Enumerative Combinatorics and Applications, 2021
John Machacek
doaj  

Formal languages, formally and coinductively

, 2016
ISSN:1868 ...
openaire   +1 more source

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance [PDF]

, 2007
A. Farzan, A. Farzan, A. Goldberg, D.E. Rodríguez, G.J. Holzmann, J. Goguen, J. Meseguer, J. Meseguer, J. Meseguer, J. Meseguer, M. Clavel, M. Clavel, M.G.J. Brand van den, N. Martí-Oliet, S. Eker   +14 more
core   +1 more source

Heritage language maintenance in the Inner Circle: a scoping review of Chinese and its varieties. [PDF]

Front Psychol
Song X.
europepmc   +1 more source

Bidirectional Cross-Linguistic Interference in Spatial Cognition: Behavioural Evidence from Chinese Learners of French. [PDF]

Behav Sci (Basel)
Xue L, Chen Z, Xu Z, Zhang Y.
europepmc   +1 more source

Comprehension of medication-related information translated from Japanese to Southeast Asian Languages using google translate. [PDF]

J Pharm Health Care Sci
Ako Y, Sugawara T, Ishida S, Tanaka K, Watanabe A.   +4 more
europepmc   +1 more source

One test, many tongues: Surveying language proficiency across the globe. [PDF]

Proc Natl Acad Sci U S A
van Rijn P, Sun Y, Lee H, Marjieh R, Sucholutsky I, Lanzarini F, André E, Jacoby N.   +7 more
europepmc   +1 more source