Search Results - (automatic OR automation) programming- program transformation

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

Authors: Pekunov, V.¹

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

Subject Terms: *AUTOMATIC control systems, *PARALLEL programming, *PROGRAM transformation, *LEAST squares, *EXTRAPOLATION, *ESTIMATION theory

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

Authors: James D. Stevens

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

Access URL: 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

Authors: Valentina Dagiene Gintautas Grigas Tatjana Jevsikova

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

Geographic Terms: Lithuania

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

Authors: Brown, Stephen Anthony

Subject Terms: 005, Computer software & programming

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028

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

Authors: Bonet, Nicolás Garcés, Kelly Casallas, Rubby et al.

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

Geographic Terms: Colombia (Bogota)

Improving Reachability Analysis of Infinite State Systems by Specialization.

Authors: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio et al.

Source: Fundamenta Informaticae. 2012, Vol. 119 Issue 3-4, p281-300. 20p. 1 Diagram, 1 Chart.

Subject Terms: *LOGIC programming, *PROGRAM transformation, *SOFTWARE verification, *AUTOMATION, *INTEGERS, *REAL numbers

Foundations of Software Science and Computation Structures

Contributors: Abdulla, Parosh Aziz Kesner, Delia

Subject Terms: 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

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/101666

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Authors: Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian et al.

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2501.16310

Probabilistic Programming with Programmable Variational Inference

Authors: Becker, McCoy R. Lew, Alexander K. Wang, Xiaoyan et al.

Source: Association for Computing Machinery

Index Terms: 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

Automata-Based Software Engineering with Event-B.

Authors: Shelekhov, V. I.^1,2 (AUTHOR) vshel@iis.nsk.su

Source: Programming & Computer Software. Oct2023, Vol. 49 Issue 5, p470-483. 14p.

Subject Terms: *PROGRAMMING languages, *SOFTWARE engineering, *TRAFFIC engineering, *PROGRAM transformation

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

Authors: Songwen Xu Yam San Chee

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

Subject Terms: *INTELLIGENT tutoring systems, *AUTOMATIC programming (Computer science), *DIAGNOSIS, *TECHNOLOGY, *STUDENTS

Automatic transformation of iterative loops into recursive methods.

Authors: Insa, David Silva, Josep

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

Subject Terms: *AUTOMATION, *SOFTWARE engineering, ITERATIVE methods (Mathematics), RECURSIVE functions, GRAPH theory

Transformation of functional programs for identification of parallel skeletons

Authors: Kannan, Venkatesh

Index Terms: Software engineering, Thesis, NonPeerReviewed

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

Automatic validation of code-improving transformations on low-level program representations

Authors: van Engelen, Robert Whalley, David Yuan, Xin

Source: Science of Computer Programming. Aug2004, Vol. 52 Issue 1-3, p257-280. 24p.

Subject Terms: *PROGRAM transformation, *COMPUTER programming, *COMPUTER engineering, *INFORMATION theory

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

Authors: McGeachie, Jesse Dingel, Juergen

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

Subject Terms: Source code, Programming languages, Program transformation, Computer programming, Automatic identification, Computer software

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

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

Subject Terms: *DECOMPOSITION method, *PROGRAM transformation, *SYNTAX (Grammar)

Foundations of Software Science and Computation Structures

Contributors: Bouyer, Patricia Schröder, Lutz

Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/54027

A journey among Java neutral program variants

Authors: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino et al.

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

Subject Terms: Neutral program variant, Program transformation, Java, Code plasticity

File Description: print

Access URL: 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

Authors: Cunha, Alcino Pinto, Jorge Sousa Proença, José Miguel Paiva et al.

Contributors: Cunha, Alcino Pinto, Jorge Sousa Proença, José Miguel Paiva et al.

Subject Terms: Functional programming, Point-free transform

File Description: application/pdf

Relation: 9783540691747; 0302-9743

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

Natural language processing in veterinary pathology: A review.

Authors: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

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