Results 21 to 30 of about 617,152 (295)

Formal Compiler Implementation in a Logical Framework [PDF]

, 2003
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations,
Aydemir, Brian, Granicz, Adam, Hickey, Jason, Nogin, Aleksey   +3 more
core   +7 more sources

Philological Analysis of the Sundanese Folklore 'Lutung Kasarung’

Journal of Languages and Language Teaching, 2023
One of the most well-known and beloved Sundanese folklore stories is the "Lutung Kasarung" tale, which has been adapted and retold in various forms across the region.
Heny Subandiyah, Haris Supratno, Resdianto Permata, Fahri Fahri, Fithriyah Inda Nur Abida   +4 more
doaj   +1 more source

An analysis of the phonological system of Dayak Bentian language in East Kalimantan, Indonesia

Cogent Arts & Humanities
This research discusses the phonological description of the Dayak Bentian (DB) language, its comparison with other Dayak languages, and its relation to Austronesian language patterns, as part of language documentation.
Andi Indah Yulianti, Dwiani Septiana, Firman A. D., Mukhammad Isnaeni, Abd. Rasyid, Siti Fatinah   +5 more
doaj   +1 more source

Optimal language policy for the preservation of a minority language [PDF]

, 2016
We develop a dynamic language competition model with dynamic state intervention. Parents choose the language(s) to raise their children based on the communicational value of each language as well as on their emotional attachment to the languages at hand.
Feichtinger, G., Seidl, A., Templin, T., Wickström, B.A.   +3 more
core   +1 more source

Totoli language: could it be extinct?

Cogent Arts & Humanities
This study examines the decline of the Totoli language and its contributing factors. Data from 120 respondents and 15 informants, was gathered through surveys, interviews, and observations.
Siti Fatinah, Ryen Maerina, Heksa Biopsi Puji Hastuti, Deni Karsana, Nuraidar Agus, Dwiani Septiana, Andi Indah Yulianti   +6 more
doaj   +1 more source

Generalized Strong Preservation by Abstract Interpretation

, 2006
Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space.
Ranzato, Francesco, Tapparo, Francesco
core   +4 more sources

Digital libraries and minority languages [PDF]

, 2005
Digital libraries have a pivotal role to play in the preservation and maintenance of international cultures in general and minority languages in particular.
Bainbridge, David, Dewsnip, Michael, Keegan, Te Taka Adrian Gregory, Nichols, David M., Witten, Ian H.   +4 more
core   +2 more sources

From hydronyms to conservation: developing a sustainable model for river preservation with indigenous community engagement

Cogent Arts & Humanities
Hydronym, which pertains to the study of the names of rivers and riversheds, has a crucial role in maintaining the harmony of aquatic ecosystems and in preserving the biodiversity of rivers, swamps, lakes, forests, and even the sea.
Imelda Yance, Achril Zalmansyah, Asep Supriadi, Rita Novita, Evi Maha Kastri, Jahdiah, Rissari Yayuk, Syamsurizal, Zainal Abidin, Yenni Febtaria Wijayatiningsih   +9 more
doaj   +1 more source

The Gorontalo Language in Professional Communication: its Maintenance and Native Speakers’ Attitudes

Дискурс профессиональной коммуникации, 2021
This study aims to describe the maintenance of the Gorontalo language in the workplace by Gorontalo speakers. To carry out qualitative research we collected data through interviews, observations and field records, and then analysed it employing Spradley ...
U. Zakariya, N. Lustyantie, . Emzir
doaj   +1 more source

Complexity-entropy analysis at different levels of organization in written language

, 2019
Written language is complex. A written text can be considered an attempt to convey a meaningful message which ends up being constrained by language rules, context dependence and highly redundant in its use of resources.
Estevez-Moya, D., Estevez-Rams, E., Rodriguez, A. Mesa   +2 more
core   +2 more sources