Suchergebnisse - (((automatic OR automatizace) OR automatizacie) OR automation) programming— program transformation

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

Autoren: James D. Stevens

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

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

Autoren: Valentina Dagiene Gintautas Grigas Tatjana Jevsikova

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

Geografische Kategorien: Lithuania

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

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

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

Geografische Kategorien: Colombia (Bogota)

A journey among Java neutral program variants

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

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

Schlagwörter: Neutral program variant, Program transformation, Java, Code plasticity

Dateibeschreibung: print

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

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

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

Schlagwörter: Functional programming, Point-free transform

Dateibeschreibung: application/pdf

Relation: 9783540691747; 0302-9743

Verfügbarkeit: https://hdl.handle.net/1822/14350

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

Autoren: Songwen Xu Yam San Chee

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

Schlagwörter: *TECHNOLOGY, INTELLIGENT tutoring systems, AUTOMATIC programming (Computer science), DIAGNOSIS, STUDENTS

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

Autoren: Pekunov, V.¹

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

Schlagwörter: *AUTOMATIC control systems, *PARALLEL programming, *PROGRAM transformation, *LEAST squares, *EXTRAPOLATION, *ESTIMATION theory

Foundations of Software Science and Computation Structures

Weitere Verfasser: Abdulla, Parosh Aziz Kesner, Delia

Schlagwörter: 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

Dateibeschreibung: application/pdf

Relation: Lecture Notes in Computer Science

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/101666

Rule-Based Software Verification and Correction.

Autoren: Ballis, Demis

Weitere Verfasser: 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

Quelle: Riunet

Schlagwörter: 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

Zugangs-URL: http://hdl.handle.net/10251/1948

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

Autoren: Brown, Stephen Anthony

Schlagwörter: 005, Computer software & programming

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

Towards AI-Assisted Programming: Automation, Comprehensiveness, and Optimization

Autoren: Huang, Hanxian

Schlagwörter: Computer science

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/1d54d15r
https://escholarship.org/content/qt1d54d15r/qt1d54d15r.pdf

Evolving a Nelder-Mead Algorithm for Optimization with Genetic Programming.

Autoren: Fajfar, Iztok Puhan, Janez Bürmen, Árpád

Quelle: Evolutionary Computation. Fall2017, Vol. 25 Issue 3, p351-373. 23p.

Schlagwörter: *GENETIC programming, *PROGRAM transformation, *HEURISTIC, *AUTOMATIC programming (Computer science), *SIGNAL processing

Constraint-based correctness proofs for logic program transformations.

Autoren: Pettorossi, Alberto Proietti, Maurizio Senni, Valerio

Quelle: Formal Aspects of Computing. Jul2012, Vol. 24 Issue 4-6, p569-594. 26p.

Schlagwörter: *MATHEMATICAL proofs, *LOGIC programming, *MATHEMATICAL transformations, *COMPUTER software correctness, *HERBRAND'S theorem (Number theory)

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autoren: Neron, Pierre

Schlagwörter: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Automata-Based Software Engineering with Event-B.

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

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

Schlagwörter: *PROGRAMMING languages, *SOFTWARE engineering, *TRAFFIC engineering, *PROGRAM transformation

Calculating with lenses: optimising bidirectional transformations

Autoren: Pacheco, Hugo Cunha, Alcino Universidade do Minho

Weitere Verfasser: Pacheco, Hugo Cunha, Alcino Universidade do Minho

Schlagwörter: Bidirectional transformation, Point-free programming, Program calculation

Dateibeschreibung: application/pdf

Relation: 9781450304856

Verfügbarkeit: https://hdl.handle.net/1822/15297

Parallel programming by transformation

Programação paralela por transformação

Autoren: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don et al.

Weitere Verfasser: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don et al.

Quelle: urn:tid:101394209

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/38014

Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics

Autoren: Ahrendt, Wolfgang Roth, Andreas Sasse, Ralf

Quelle: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). LNCS 3835:412-426

Schlagwörter: program logic, programming language semantics, Java

Zugangs-URL: https://research.chalmers.se/publication/10221

Improving Reachability Analysis of Infinite State Systems by Specialization.

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

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

Schlagwörter: *LOGIC programming, *PROGRAM transformation, *SOFTWARE verification, *AUTOMATION, *INTEGERS, *REAL numbers

Automatic complexity analysis of logic programs.

Autoren: Lin, Nai-Wei.

Thesis Advisors: Debray, Saumya K., Downey, Peter J., Snodgrass, Richard T., Faris, William G., Madden, Daniel

Schlagwörter: Logic programming., Functional programming (Computer science)

Verfügbarkeit: http://hdl.handle.net/10150/186287