Search Results - Semantics of Programming Languages—Program Analysis General Terms Programing Languages

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

Authors: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München et al.

Contributors: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München et al.

Source: http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf.

Subject Terms: Of Programs, Semantics of Programming Languages—Program Analysis General Terms Programing Languages, Theory, Reliability Keywords Functional Programming, Static Analysis, Amortized Analysis, Resource Consumption, Formal Semantics, Big-Step Operational Semantics

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125; http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125
http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf

Beyond English centrality: integrating expansive conceptions of language for literacy programming into IEPs.

Authors: Ferrell, Amy L. Soltero-González, Lucinda Kamioka, Sakura

Source: Frontiers in Education; 2024, p1-9, 9p

Subject Terms: PROGRAMMING languages, ENGLISH language, BILINGUAL students, SPECIAL education, LANGUAGE acquisition, INSTRUCTIONAL systems design

Modeling the Development of Energy Network Software, Taking into Account the Detection and Elimination of Vulnerabilities.

Authors: Kotenko, Igor Izrailov, Konstantin Buinevich, Mikhail et al.

Source: Energies (19961073); Jul2023, Vol. 16 Issue 13, p5111, 40p

Subject Terms: ENERGY development, PROGRAMMING languages, SOURCE code, SYSTEMS software, DATABASES

A Survey of Automatic Code Generation from Natural Language.

Authors: Jiho Shin Jaechang Nam

Source: Journal of Information Processing Systems; Jun2021, Vol. 17 Issue 3, p537-555, 19p

Biliteracy of African American and Latinx Kindergarten Students in a Dual-Language Program: Understanding Students' Translanguaging Practices Across Informal Assessments.

Authors: Bauer, Eurydice Bouchereau Colomer, Soria Elizabeth Wiemelt, Joe

Source: Urban Education; Mar2020, Vol. 55 Issue 3, p331-361, 31p

Subject Terms: KINDERGARTEN children, AFRICAN Americans, AFRICAN American youth, STANDARDIZED tests, AFRICAN American students, ACADEMIC language

VB2ALGO: An Educational Reverse Engineering Tool to Enhance High School Students' Learning Capacities in Programming.

Authors: ALMADHUN, Salem TOYCAN, Mehmet ADALIER, Ahmet

Source: Revista de Cercetare si Interventie Sociala; dec2019, Vol. 67, p67-87, 21p

Subject Terms: REVERSE engineering, HIGH school students, ACADEMIC motivation, VISUAL learning, SOFTWARE development tools, PRE-tests & post-tests

Universal parameter language for the programming of numerical controlled machines.

Authors: Gonçalves, M. A. F Lorini, F. J. Benetti, C. et al.

Source: International Journal of Advanced Manufacturing Technology; Oct2020, Vol. 110 Issue 9/10, p2713-2725, 13p, 3 Color Photographs, 8 Black and White Photographs, 5 Diagrams, 4 Charts

Subject Terms: PROGRAMMING languages, UNIVERSAL language, ALGORITHMS, FOREST thinning

A Study on Garbage Collection Algorithms for Big Data Environments.

Authors: BRUNO, RODRIGO FERREIRA, PAULO

Source: ACM Computing Surveys; Jan2019, Vol. 51 Issue 1, p1-35, 35p

Subject Terms: REFUSE collection, BIG data, CREDIT card fraud, OBJECT-oriented programming languages, ALGORITHMS

Combining Self-Explaining With Computer Architecture Diagrams to Enhance the Learning of Assembly Language Programming.

Authors: Yen-Chu Hung

Source: IEEE Transactions on Education; Nov2012, Vol. 55 Issue 4, p546-551, 6p

Subject Terms: COMPUTER architecture, ASSEMBLY languages (Electronic computers), PROBLEM solving, COVARIANCE matrices, COMPUTER science education

Using Teaching Activities for Developing Some Receptive Language Skills determined in the light of The (ABLLSR) at children with Autism Spectrum Disorder Integrated in Primary Schools.

Alternate Title: استخذام األنشطت التذريسيت يف تنميت بعض مهاراث اللغت االستقباليت احملذدة يف ضوء )R-ABLLS The (لذى أطفال اضطراب طيف التوحذ املذجمني باملذارس االبتذائيت. (Arabic)

Authors: Abdel-Hafez Mahmoud, Hanan Ahmad

Source: Journal of Education - Sohag University; Jun2021, Vol. 86 Issue Part 1, p1-38, 38p

Subject Terms: CHILDREN with autism spectrum disorders, ACTIVE learning, AUTISM spectrum disorders, PRIMARY schools, WILCOXON signed-rank test, SCHOOL children

Almost First-Class Language Embedding.

Authors: Scherr, Maximilian Chiba, Shigeru

Source: ACM / SIGPLAN Notices; Mar2016, Vol. 51 Issue 3, p21-30, 10p

Canadian Immersion Students' Investment in French.

Authors: MARSHALL, KELLE L. BOKHORST–HENG, WENDY D.

Source: Modern Language Journal (John Wiley & Sons, Inc.); Sep2020, Vol. 104 Issue 3, p601-617, 17p

Subject Terms: IMMERSION method (Language teaching), CANADIAN French, SOCIAL capital, BILINGUALISM, LINGUISTIC identity, ENGLISH-speaking Canadians, IDEOLOGY

Geographic Terms: NEW Brunswick

Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach.

Authors: Cardoso, João M. P. Coutinho, José G. F. Carvalho, Tiago et al.

Source: Software: Practice & Experience; Feb2016, Vol. 46 Issue 2, p251-287, 37p

Subject Terms: COMPUTER programming, COMPUTERS, ALGORITHMS, SCIENCE, ENERGY consumption

Practical Considerations in the Neuropsychological Assessment of Bilingual (Spanish-English) Children in the United States: Literature Review and Case Series.

Authors: Canas, Angela Bordes Edgar, Veronica Neumann, Joy

Source: Developmental Neuropsychology; Jul2020, Vol. 45 Issue 4, p211-231, 21p, 2 Diagrams, 1 Chart

Subject Terms: NEUROPSYCHOLOGICAL tests, BILINGUALISM, BILINGUAL education, NEUROPSYCHOLOGY

Geographic Terms: UNITED States

Product Systems.

Authors: Betz, Frederick

Source: Managing Technological Innovation; 2011, p241-259, 19p

Introduction to Programming Languages

Authors: Arvind Kumar Bansal

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Authors: Fernando Magno Quintao Pereira

Resource Type: eBook.

Subjects: Compilers (Computer programs), Software engineering, Computer programming

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Code generation by model transformation: a case study in transformation modularity.

Authors: Hemel, Zef Kats, Lennart C. L. Groenewegen, Danny M. et al.

Source: Software & Systems Modeling; Jun2010, Vol. 9 Issue 3, p375-402, 28p, 1 Diagram, 34 Charts

Subject Terms: CODE generators, PROGRAM generators (Computer programs), CODING theory, DIGITAL subscriber lines, COMPUTER software development

Programming Language Theory

Authors: Albuero De Luna, Alvin

Resource Type: eBook.

Subjects: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Languages / General

Taming of Pict.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: SOFSEM 2008: Theory & Practice of Computer Science; 2008, p610-621, 12p