Search Results - ((automatic OR automatizacia) 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

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

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

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

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

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)

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.

A Method for Automatic Program Inversion Based on LR(0) Parsing.

Authors: Glück, Robert Kawabe, Masahiko

Source: Fundamenta Informaticae. 2005, Vol. 66 Issue 4, p367-395. 29p.

Subject Terms: *AUTOMATIC programming (Computer science), *COMPUTER programming, *PROGRAM transformation, *FUNCTIONAL programming languages, *FUNCTIONAL programming (Computer science)

Mixed-language automatic differentiation.

Authors: Pascual, Valérie Hascoët, Laurent

Source: Optimization Methods & Software. Aug-Dec2018, Vol. 33 Issue 4-6, p1192-1206. 15p.

Subject Terms: *AUTOMATIC differentiation, *PROGRAMMING languages, *PROGRAM transformation, *NONLINEAR functions, *CONSTRAINED optimization

An analysis of hot‐started ADMM for linear MPC.

Authors: Toyoda, Mitsuru Tanaka, Mirai

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

Subject Terms: *AUTOMATIC control systems, *AUTOMATION, *COMPUTER programming, PREDICTIVE control systems, PROGRAM transformation

Foundations of Software Science and Computation Structures

Contributors: Goubault-Larrecq, Jean König, Barbara

Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, 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, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37723

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

Authors: FILINSKI, ANDRZEJ¹ andrzej@di.ku.dk

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

Subject Terms: *FORMAL languages, *PROGRAMMING language semantics, *ALGORITHMS, *DYNAMIC programming, *LEXICOGRAPHY

Program Transformation Systems.

Authors: Partsch, H. Steinbrüggen, R.

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

Subject Terms: *AUTOMATIC programming (Computer science), *PROGRAMMING languages, *ALGORITHMS, *ARTIFICIAL intelligence, *SOFTWARE engineering, *COMPUTER science, *INFORMATION technology