Výsledky vyhledávání - (((automatic OR automatizace) OR automatizacia) 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

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)

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

Foundations of Software Science and Computation Structures

Přispěvatelé: Bouyer, Patricia Schröder, Lutz

Témata: 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

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

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

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

Foundations of Software Science and Computation Structures

Přispěvatelé: Goubault-Larrecq, Jean König, Barbara

Témata: 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

Popis souboru: application/pdf

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

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

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

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

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

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

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

Autoři: Huang, Hanxian

Témata: Computer science

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/1d54d15r
https://escholarship.org/content/qt1d54d15r/qt1d54d15r.pdf

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

Autoři: Fajfar, Iztok Puhan, Janez Bürmen, Árpád

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

Témata: *GENETIC programming, *PROGRAM transformation, *HEURISTIC, *AUTOMATIC programming (Computer science), *SIGNAL processing

Constraint-based correctness proofs for logic program transformations.

Autoři: Pettorossi, Alberto Proietti, Maurizio Senni, Valerio

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

Témata: *MATHEMATICAL proofs, *LOGIC programming, *MATHEMATICAL transformations, *COMPUTER software correctness, *HERBRAND'S theorem (Number theory)

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.

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autoři: Neron, Pierre

Témata: [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

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

Calculating with lenses: optimising bidirectional transformations

Autoři: Pacheco, Hugo Cunha, Alcino Universidade do Minho

Přispěvatelé: Pacheco, Hugo Cunha, Alcino Universidade do Minho

Témata: Bidirectional transformation, Point-free programming, Program calculation

Popis souboru: application/pdf

Relation: 9781450304856

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

Parallel programming by transformation

Programação paralela por transformação

Autoři: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a další

Přispěvatelé: Gonçalves, Rui Carlos Araújo Sobral, João Luís Ferreira Batory, Don a další

Zdroj: urn:tid:101394209

Popis souboru: application/pdf

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

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

Autoři: Ahrendt, Wolfgang Roth, Andreas Sasse, Ralf

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

Témata: program logic, programming language semantics, Java

Přístupová URL adresa: https://research.chalmers.se/publication/10221

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