Search Results - programming language theory

The Impact of a Cooperative Learning Program on the Academic Achievement in Mathematics and Language in Fourth Grade Students and its Relation to Cognitive Style by Mery Luz Vega-Vaca, Christian Hederich-Martínez

Connect to this object online.

Coming To Terms A Theory of Writing Assessment by Lynne, Patricia

DOAB: download the publication
DOAB: description of the publication

Specification Languages for Preserving Consistency between Models of Different Languages by Kramer, Max Emanuel

DOAB: download the publication
DOAB: description of the publication

A Stylistic - Based Pedagogical Practices And Applications Program for Developing English Language Creative Reading Skills Among Secondary Stage Students by مني صلاح عبدالله عثمان

Connect to this object online.

Arabic Language Education Program at Islamic Boarding School Ibnul Qoyyim Putri Yogyakarta: Study of Code Mixing, Code Switching, and Interference by Muhajir, Siti Karomah

Connect to this object online.

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…language theory, automata, and games…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…language theory, automata, and games…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

On Location Theory and Practice in Classroom-Based Writing Tutoring

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Link to Metadata

Embodied Femininities in Language Pedagogy. A Study of Two Language Teachers' Experiences by Karen Tatiana Camargo-Ruiz, Daniel Aponte-Moniquirá

Connect to this object online.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

First Semester in Numerical Analysis with Python by Liu, Yaning

Access online version

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata

Mathematics Education and Language Diversity The 21st ICMI Study /

Table of Contents: “…Introduction -- Challenges and opportunities for second language learners in undergraduate mathematics -- Mathematics in the hands of deaf learners and blind learners: visual-gestural-somatic means of doing and expressing -- Challenging deficit perspectives: student agency in multilingual mathematics classrooms -- Language diversity in mathematics teacher education: challenges across three countries -- Impact of differing grammatical structures in mathematics teaching and learning -- Addressing multi-language diversity in mathematics teacher education programs -- Language diversity and new media: issues of multimodality and performance -- Making use of multiple (non-shared) first languages: state and need of research and development in the European language context -- Purposefully relating multilingual registers - building theory and teaching strategies for bilingual learners based on an integration of three traditions -- Trends in mathematics education in multilingual contexts for indigenous population: experiences from Latin America -- Tensions in teaching mathematics in contexts of language diversity -- Research rationalities and the construction of the deficient multilingual mathematics learner -- Language diversity in research and its consequences -- Using ICTs to facilitate multilingual mathematics teaching and learning -- Mathematics teaching, language policy and the political role of language: perspectives from around the world -- Reflections -- Index.…”
Link to Metadata