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

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 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)

Improving Reachability Analysis of Infinite State Systems by Specialization.

Autoři: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio a další

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

Témata: *LOGIC programming, *PROGRAM transformation, *SOFTWARE verification, *AUTOMATION, *INTEGERS, *REAL numbers

Automata-Based Software Engineering with Event-B.

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

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

Témata: *PROGRAMMING languages, *SOFTWARE engineering, *TRAFFIC engineering, *PROGRAM transformation

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

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

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

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

Autoři: Glück, Robert Kawabe, Masahiko

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

Témata: *AUTOMATIC programming (Computer science), *COMPUTER programming, *PROGRAM transformation, *FUNCTIONAL programming languages, *FUNCTIONAL programming (Computer science)

Mixed-language automatic differentiation.

Autoři: Pascual, Valérie Hascoët, Laurent

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

Témata: *AUTOMATIC differentiation, *PROGRAMMING languages, *PROGRAM transformation, *NONLINEAR functions, *CONSTRAINED optimization

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: *TECHNOLOGY, INTELLIGENT tutoring systems, AUTOMATIC programming (Computer science), DIAGNOSIS, STUDENTS

Program Transformation Systems.

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

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

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

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

Modeling and system analysis of applied mathematics and programming problems.

Autoři: Khodiyev, Shukhrat Nazirova, Dilorom

Zdroj: AIP Conference Proceedings. 2025, Vol. 3356 Issue 1, p1-12. 12p.

Témata: *APPLIED mathematics, *SYSTEMS theory, *TEMPERATURE distribution, *UNIVERSITY research, *COMPUTER simulation, *MATHEMATICAL programming, *PROGRAM transformation, *AUTOMATION

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

Rule-Based Software Verification and Correction.

Autoři: Ballis, Demis

Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, FALASCHI, MORENO

Zdroj: Riunet

Témata: Software verification, Software correction, Inductive learning, Abstract diagnosis, Rule-based specification languages, Program transformation, Functional logic languages, Formal methods, Rewriting, Web site verification, Simulation, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 11, 1203 18, 1203 23, 1203 24

Přístupová URL adresa: http://hdl.handle.net/10251/1948

Optimization of ProVerif Programs for AKE Protocols.

Autoři: Vinarskii, E. M. Demakov, A. V.

Zdroj: Programming & Computer Software. Dec2022, Vol. 48 Issue 8, p781-787. 7p.

Témata: *SOFTWARE development tools, *PROGRAM transformation