Results 81 to 90 of about 432,601 (300)
Dependently Typed Attribute Grammars [PDF]
, 2011 Attribute Grammars (AGs) are a domain-specific language for functional and composable descriptions of tree traversals. Given such a description, it is not immediately clear how to state and prove properties of AGs formally. To meet this challenge, we apply dependent types to AGs.
Middelkoop, A. +2 more
openaire +4 more sources
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023., 2023 Although the present work was focused on DTV networks, there is a myriad of different broadcasting systems that can benefit from it as long as they rely on configuration data sent in their protocol structures. Abstract Digital TV (DTV) receivers are usually submitted to testing systems for conformity and robustness assessment, and their approval ...
Fabricio Izumi +6 more
wiley +1 more source
Restricted Global Grammar Constraints [PDF]
arXiv, 2009 We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the GRAMMAR constraint in these cases is as hard as parsing an unrestricted context free grammar.We also consider the class of linear grammars and give a ...
arxiv
Describing the syntax of programming languages using conjunctive and Boolean grammars [PDF]
arXiv, 2020 A classical result by Floyd ("On the non-existence of a phrase structure grammar for ALGOL 60", 1962) states that the complete syntax of any sensible programming language cannot be described by the ordinary kind of formal grammars (Chomsky's ``context-free'').
arxiv
Context-Free Grammars with Storage [PDF]
arXiv, 2014 Context-free S grammars are introduced, for arbitrary (storage) type S, as a uniform framework for recursion-based grammars, automata, and transducers, viewed as programs. To each occurrence of a nonterminal of a context-free S grammar an object of type S is associated, that can be acted upon by tests and operations, as indicated in the rules of the ...
arxiv
Aspect-Oriented Attribute Grammars
Electronics and Electrical Engineering, 2011 Nepaisant kelių mokslininkų pastangų, skirtų kalbų modulumui tirti, vis tiek islieka kalbos specifikos problema. Pateikiamas formalus požiūris į gerai žinomas programavimo kalbas. Pristatomas naujas kalbos specifikos tyrimas, padidinantis modulumą, pritaikymą, o kartu ir mažinantis kūrėjų pastangas sukurti naują kalbą. Il. 4, bibl.
Mernik, Marjan, Rebernak, Damijan
openaire +3 more sources
Students' sense of belonging and authenticity in higher education
British Educational Research Journal, EarlyView.Abstract Sense of belonging entails students' comfort level in the classroom and experienced faculty and peer support. A diminished sense of belonging can hamper academic performance. Therefore, it is important to know which student groups may experience weaker belonging and whether these disparities extend to students' authenticity, or perception they
Anne‐Roos Verbree +3 more
wiley +1 more source
A generalized parsing framework for Abstract Grammars [PDF]
arXiv, 2017 This technical report presents a general framework for parsing a variety of grammar formalisms. We develop a grammar formalism, called an Abstract Grammar, which is general enough to represent grammars at many levels of the hierarchy, including Context Free Grammars, Minimalist Grammars, and Generalized Context-free Grammars.
arxiv
The potential of deep learning in improving K‐12 students' writing skills: A systematic review
British Educational Research Journal, EarlyView.Abstract The purpose of this study is to examine the relationship between technology‐supported writing instruction at the K‐12 level and deep learning approaches and to understand the trends in this field. In the study, 12 articles selected from Web of Science, Scopus, ERIC and EBSCO databases were systematically analysed.
Mazhar Bal, Emre Öztürk
wiley +1 more source
Sustainability Performance and Its Impact on Financial Distress Risk—Evidence From STOXX Europe 600
Business Strategy and the Environment, EarlyView.ABSTRACT Sustainability performance (SP) has emerged as a central topic on both corporate and political agendas worldwide. This study investigated the relationship between SP and financial distress risk (FDR) among European listed firms, addressing the growing importance of SP in financial decision‐making.
Marcel Seefloth +4 more
wiley +1 more source