Search results for "Syntax."

showing 8 items of 288 documents

Understanding beginners' mistakes with Haskell

2015

AbstractThis article presents an overview of student difficulties in an introductory functional programming (FP) course taught in Haskell. The motivation for this study stems from our belief that many student difficulties can be alleviated by understanding the underlying causes of errors and by modifying the educational approach and, possibly, the teaching language accordingly. We analyze students' exercise submissions and categorize student errors according to compiler error messages and then manually according to the observed underlying cause. Our study complements earlier studies on the topic by applying computer and manual analysis while focusing on providing descriptive statistics of d…

ta113Functional programmingDescriptive statisticsProgramming languageComputer scienceFunction applicationcomputer.software_genrebeginners' mistakesSyntaxCategorizationHaskellComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationTeaching languagecomputer analysisHaskellCompilercomputerSoftwarecomputer.programming_languageJournal of Functional Programming
researchProduct

Yttrandets yttre form och avsedda funktion : en studie över de olika meningstypernas primära och sekundära illokuta funktioner i serietidningstexter

1998

talhandlingpragmatikillokutionsyntaxsemantik
researchProduct

Arithmetic, Logic, Syntax and MathCheck

2019

MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primari…

tietokoneavusteinen opetusmatematiikkaoppiminenSyntax (programming languages)Computer sciencecomputer-aided educationtietokoneavusteinen oppiminencomputer science educationtietotekniikkaArithmeticmathematics educationProceedings of the 11th International Conference on Computer Supported Education
researchProduct

Das Gerundium im Italienischen und Spanischen: Ein syntaktischer Vergleich mit Ausblick auf das Ladinische

2015

Il presente articolo è dedicato al confronto tra l’uso del gerundio in italiano e spagnolo; a differenza di quanto si potrebbe pensare a prima vista, la loro corrispondenza formale non implica un identico uso sintattico. La divergenza principale è data dal gerundio predicativo, molto diffuso in spagnolo e agrammaticale in italiano, divergenza che è dovuta a una differente evoluzione sintattica risalente ai primi secoli delle lingue romanze. In spagnolo vi fu infatti la sostituzione sistematica del participio presente latino attraverso il gerundio, mentre nell’italiano del Tardo Medioevo emerse la tendenza a coindicizzare il soggetto del gerundio esclusivamente con il soggetto (o con l’agent…

traduzionesintassiSettore L-FIL-LET/09 - Filologia E Linguistica RomanzaItaliantranslationSpanishLinguisticsintassi contrastivaladinoSettore L-LIN/02 - Didattica Delle Lingue ModerneSettore L-LIN/01 - Glottologia E LinguisticaRhaeto-RomanceSettore L-FIL-LET/12 - Linguistica ItalianaSettore L-LIN/06 - Lingua E Letterature Ispano-AmericaneLingua Spagnolacomparative syntaxLingua ItalianaLinguistica
researchProduct

Comparing the Effect of Product-Based Metrics on the Translation Process

2021

Characteristics of the translation product are often used in translation process research as predictors for cognitive load, and by extension translation difficulty. In the last decade, user-activity information such as eye-tracking data has been increasingly employed as an experimental tool for that purpose. In this paper, we take a similar approach. We look for significant effects that different predictors may have on three different eye-tracking measures: First Fixation Duration (duration of first fixation on a token), Eye-Key Span (duration between first fixation on a token and the first keystroke contributing to its translation), and Total Reading Time on source tokens (sum of fixations…

translation studiesSocial Sciencestranslation processcomputer.software_genreSemanticseye trackingLanguages and LiteraturesPsycholinguisticsACTIVATIONCOGNITIVE TRANSLATIONPsychology MultidisciplinarylexicosemanticsTranslation studiesPsychologytranslation process and productSet (psychology)syntaxpsycholinguisticsGeneral PsychologyOriginal Researchcomputer.programming_languagebusiness.industrytranslation difficultyUNITSlt3SyntaxBF1-990MODELsyntax and grammartranslation process researchArtificial intelligenceLexicoentropybusinessPsychologycomputerNatural language processingCognitive loadWord orderFrontiers in Psychology
researchProduct

Impacts des réseaux viaires sur les mobilités urbaines : quelques illustrations

2008

This research aims to find the impact of the network shape and structure on the urban mobilities, in order to fight against the automobile dependency and to include the externalities in the network design. Three examples illustrate this objective. The first one shows the influence of the network shape on the pedestrian urban flows. The second one emphasizes how sensitive to the network structure is the efficiency of a very flexible Demand Responsive Transport. The third example demonstrates that the network metric is favourable to the automobile and how it can be possible to apply an alternative metric, called the “slow metric” to reduce the urban sprawling and the automobile dependency.

transport à la demandemobilitésmobilities[SHS.GEO] Humanities and Social Sciences/Geographyformemétrique lente[SHS.GEO]Humanities and Social Sciences/Geographyshapesyntaxe spatialespatial syntax[ SHS.GEO ] Humanities and Social Sciences/Geographymetricsefficacitéefficiencyslow metricmétrique des réseauxpedestrian movementdéplacements pédestresexternalités des réseauxstructuredemand responsive transportnetwork externalities
researchProduct

National vegetation databases: the case of VegItaly.

2014

vegetation database; phytosociology; vegetation plot; taxonomy; syntaxonomytaxonomyphytosociologySettore BIO/03 - Botanica Ambientale E Applicataphytosociology data-base VegItalyvegetation databasesyntaxonomyvegetation; databasevegetation plot
researchProduct

Nauczanie składni a rozwijanie sprawności tworzenia tekstu. W stronę metodyki - diagnoza

2018

W artykule omówione zostały cztery koncepcje nauki o języku, które wpłynęły na kształt współczesnej teorii i praktyki dydaktycznej: systemowa oraz, opozycyjne wobec niej, komunikacyjna, funkcjonalna i tekstocentryczna. Na ich tle przedstawiono trzy modele metodyczne uczenia (o) składni wyabstrahowane z analizy zadań w podręcznikach do nauki o języku: oparty na składniowych ćwiczeniach gramatycznych, oparty na przedkomunikacyjnych składniowych ćwiczeniach językowych oraz oparty na składniowych ćwiczeniach redakcyjnych przedkomunikacyjnych i komunikacyjnych. We współczesnych podręcznikach w części poświęconej składni dominuje metodyka rozproszona w postaci kolekcji różnego typu ćwiczeń, z prz…

wiedza o językutheory of languagelinguistic competencesyntax exercisessprawność językowaćwiczenia składniowe
researchProduct