Výsledky vyhľadávania - Semantics of Programming Languages—Program Analysis General Terms Programing Languages*

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

Autori: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a ďalší

Prispievatelia: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a ďalší

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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.

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

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

Predmety: 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.

Autori: Kotenko, Igor Izrailov, Konstantin Buinevich, Mikhail a ďalší

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

Predmety: ENERGY development, PROGRAMMING languages, SOURCE code, SYSTEMS software, DATABASES

A Survey of Automatic Code Generation from Natural Language.

Autori: Jiho Shin Jaechang Nam

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

A Study on Garbage Collection Algorithms for Big Data Environments.

Autori: BRUNO, RODRIGO FERREIRA, PAULO

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

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

Universal parameter language for the programming of numerical controlled machines.

Autori: Gonçalves, M. A. F Lorini, F. J. Benetti, C. a ďalší

Zdroj: 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

Predmety: PROGRAMMING languages, UNIVERSAL language, ALGORITHMS, FOREST thinning

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

Autori: ALMADHUN, Salem TOYCAN, Mehmet ADALIER, Ahmet

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

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

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

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

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

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

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

Autori: Yen-Chu Hung

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

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

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

Autori: Cardoso, João M. P. Coutinho, José G. F. Carvalho, Tiago a ďalší

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

Predmety: COMPUTER programming, COMPUTERS, ALGORITHMS, SCIENCE, ENERGY consumption

Introduction to Programming Languages

Autori: Arvind Kumar Bansal

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

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

Autori: Fernando Magno Quintao Pereira

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Product Systems.

Autori: Betz, Frederick

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

Almost First-Class Language Embedding.

Autori: Scherr, Maximilian Chiba, Shigeru

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

Parallel Programming With Recurrent Equations.

Autori: Szymanski, Boleslaw K. Mueller-Wichards, Dieter

Zdroj: International Journal of High Performance Computing Applications; Jun1987, Vol. 1 Issue 2, p44-74, 31p

Programming Language Theory

Autori: Albuero De Luna, Alvin

Typ zdroja: eBook.

Predmet: Computer programming, Programming languages (Electronic computers)

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Languages / General

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

Autori: Hemel, Zef Kats, Lennart C. L. Groenewegen, Danny M. a ďalší

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

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

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

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Well-definedness and observational equivalence for inductive–coinductive programs.

Autori: Basold, Henning Hansen, Helle Hvid

Zdroj: Journal of Logic & Computation; Aug2019, Vol. 29 Issue 4, p419-468, 50p

Predmety: MATHEMATICAL equivalence, MODAL logic, PROOF of concept, ALGEBRA, TOPOLOGY, MATHEMATICAL induction

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

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

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

Predmety: NEUROPSYCHOLOGICAL tests, BILINGUALISM, BILINGUAL education, NEUROPSYCHOLOGY

Geografický termín: UNITED States