Výsledky vyhledávání - ((automatic OR avtomatizacija) OR automation) programming— program transformation

Program Transformation and Code Generation for Developing, Modeling, and Optimizing GPU Programs

Autoři: James D. Stevens

Zdroj: ProQuest LLC. 2021Ph.D. Dissertation, University of Illinois at Urbana-Champaign.

Peer Reviewed: N

Page Count: 113

Descriptors: Computation, Programming, Computer Graphics, Automation, Man Machine Systems, Computers, Models, Computer Interfaces, Sciences, Engineering

Přístupová URL adresa: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:31356323

A Transformation of the Way of Thinking Key Principles in Programming Education Inspired by Pascal

Autoři: Valentina Dagiene Gintautas Grigas Tatjana Jevsikova

Zdroj: Informatics in Education. 2024 23(4):735-765.

Peer Reviewed: Y

Page Count: 31

Descriptors: Programming Languages, Computer Science Education, Foreign Countries, Programming, Expertise, Attitudes, Algorithms, Educational History, Information Science, Teaching Methods, Intellectual History, Trend Analysis, Technological Advancement, Secondary School Teachers, Creative Thinking, Problem Solving, Computer Software, Teacher Attitudes, Instructional Innovation, College Faculty

Geografický termín: Lithuania

Models for automatic diffrentiation : a conceptual framework for exploiting program transformation

Autoři: Brown, Stephen Anthony

Témata: 005, Computer software & programming

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028

Influence of Programming Style in Transformation Bad Smells: Mining of ETL Repositories

Autoři: Bonet, Nicolás Garcés, Kelly Casallas, Rubby a další

Zdroj: Computer Science Education. 2018 28(1):87-108.

Peer Reviewed: Y

Page Count: 22

Descriptors: Foreign Countries, Graduate Students, Masters Programs, Programming, Computer Science Education, Problems, Statistical Analysis, Comparative Analysis, Incidence, Automation, Error Correction

Geografický termín: Colombia (Bogota)

Probabilistic Programming with Programmable Variational Inference

Autoři: Becker, McCoy R. Lew, Alexander K. Wang, Xiaoyan a další

Zdroj: Association for Computing Machinery

Témata: Article, http://purl.org/eprint/type/JournalArticle

URL: https://hdl.handle.net/1721.1/155517
10.1145/3656463
Proceedings of the ACM on Programming Languages

Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems.

Autoři: Songwen Xu Yam San Chee

Zdroj: IEEE Transactions on Software Engineering. Apr2003, Vol. 29 Issue 4, p360-384. 24p. 2 Black and White Photographs, 37 Diagrams, 8 Charts.

Témata: *INTELLIGENT tutoring systems, *AUTOMATIC programming (Computer science), *DIAGNOSIS, *TECHNOLOGY, *STUDENTS

Automatic transformation of iterative loops into recursive methods.

Autoři: Insa, David Silva, Josep

Zdroj: Information & Software Technology. Feb2015, Vol. 58, p95-109. 15p.

Témata: *AUTOMATION, *SOFTWARE engineering, ITERATIVE methods (Mathematics), RECURSIVE functions, GRAPH theory

Transformation of functional programs for identification of parallel skeletons

Autoři: Kannan, Venkatesh

Témata: Software engineering, Thesis, NonPeerReviewed

URL: https://doras.dcu.ie/21608/
https://doras.dcu.ie/21608

Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking

Autoři: McGeachie, Jesse Dingel, Juergen

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2007, Vol. 190 Issue 1, p3-18. 16p.

Témata: Source code, Programming languages, Program transformation, Computer programming, Automatic identification, Computer software

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

Zdroj: ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-59. 59p.

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

A journey among Java neutral program variants

Autoři: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino a další

Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580

Témata: Neutral program variant, Program transformation, Java, Code plasticity

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

A framework for point-free program transformation

Autoři: Cunha, Alcino Pinto, Jorge Sousa Proença, José Miguel Paiva a další

Přispěvatelé: Cunha, Alcino Pinto, Jorge Sousa Proença, José Miguel Paiva a další

Témata: Functional programming, Point-free transform

Popis souboru: application/pdf

Relation: 9783540691747; 0302-9743

Dostupnost: https://hdl.handle.net/1822/14350

Natural language processing in veterinary pathology: A review.

Autoři: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura a další

Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

An analysis of hot‐started ADMM for linear MPC.

Autoři: Toyoda, Mitsuru Tanaka, Mirai

Zdroj: IET Control Theory & Applications (Wiley-Blackwell). Oct2021, Vol. 15 Issue 15, p1999-2016. 18p.

Témata: *AUTOMATIC control systems, *AUTOMATION, *COMPUTER programming, PREDICTIVE control systems, PROGRAM transformation

Proof-directed program transformation: A functional account of efficient regular expression matching.

Autoři: FILINSKI, ANDRZEJ¹ andrzej@di.ku.dk

Zdroj: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-38. 38p.

Témata: *FORMAL languages, *PROGRAMMING language semantics, *ALGORITHMS, *DYNAMIC programming, *LEXICOGRAPHY

Automatic memory reuse of immutable data in Kotlin

Autoři: Ogilvie, Gideon Swierstra, W.S. (Thesis Advisor)

Témata: Automatic memory reuse of immutable data in Kotlin, Master Thesis, Student Thesis

URL: https://studenttheses.uu.nl/handle/20.500.12932/48394

Characterising harmful API uses and repair techniques: Insights from a systematic review.

Autoři: Ochoa, Lina Hammad, Muhammad Giray, Görkem a další

Zdroj: Computer Science Review. Aug2025, Vol. 57, pN.PAG-N.PAG. 1p.

Témata: Program transformation, Computer software development, Generalization, Awareness, Application program interfaces

Automation of parallel programming in modeling of multiphase media. Optimal parallelization.

Autoři: Pekunov, V.¹

Zdroj: Automation & Remote Control. Jul2008, Vol. 69 Issue 7, p1252-1261. 10p. 3 Diagrams.

Témata: *AUTOMATIC control systems, *PARALLEL programming, *PROGRAM transformation, *LEAST squares, *EXTRAPOLATION, *ESTIMATION theory

Program Transformation Systems.

Autoři: Partsch, H. Steinbrüggen, R.

Zdroj: ACM Computing Surveys. Sep83, Vol. 15 Issue 3, p199-236. 38p.

Témata: *PROGRAMMING languages, *ALGORITHMS, *ARTIFICIAL intelligence, *SOFTWARE engineering, *COMPUTER science, *INFORMATION technology, AUTOMATIC programming (Computer science)

Foundations of Software Science and Computation Structures

Přispěvatelé: Abdulla, Parosh Aziz Kesner, Delia

Témata: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666