Search Results - automation programming— program transformation

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

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)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

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

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

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

TransCL: An Automatic CUDA-to-OpenCL Programs Transformation Framework

Authors: Changqing Shi Yufei Sun Rui Chen et al.

Source: ACM Transactions on Architecture and Code Optimization. 22:1-24

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Authors: Rob van Glabbeek Wendelin Serwe John P. Gallagher

Source: arXiv: Logic in Computer Science.

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1803.08668
https://forskning.ruc.dk/da/publications/proceedings-third-workshop-on-models-for-formal-analysis-of-real-
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1261199
http://arxiv.org/pdf/1803.08668.pdf
https://arxiv.org/abs/1803.08668
http://ui.adsabs.harvard.edu/abs/2018arXiv180308668G/abstract

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

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin Parker, David

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

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/37724

Analogical program derivation based on type theory

Authors: Jianguo Lu Jiafu Xu

Source: Theoretical Computer Science. 113:259-272

Subject Terms: program transformation, analogical correspondence, Specification and verification (program logics, model checking, etc.), software automation, 0102 computer and information sciences, 02 engineering and technology, analogical reasoning, 01 natural sciences, Theoretical Computer Science, program derivation, analogical programming, 0202 electrical engineering, electronic engineering, information engineering, Higher-order logic, type theory, Computer Science(all)

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/tcs/tcs113.html#LuX93
https://doi.org/10.1016/0304-3975(93)90004-D
https://www.sciencedirect.com/science/article/pii/030439759390004D

Automatic, self-adaptive control of unfold transformations

Contributors: Boyle, J

Source: Conference: International Federation for Information Processing (IFIP) conference on programming concepts, methods and calculi,San Miniato (Italy),6-10 Jun 1994; Other Information: PBD: [1994]

File Description: Medium: ED; Size: 26 p.

Access URL: http://www.osti.gov/scitech/servlets/purl/10154092

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

Verification of Imperative Programs by Constraint Logic Program Transformation

Authors: DE ANGELIS, EMANUELE FIORAVANTI, Fabio Alberto Pettorossi et al.

Source: Electronic proceedings in theoretical computer science 129 (2013): 186–210.
info:cnr-pdr/source/autori:Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti/titolo:Verification of Imperative Programs by Constraint Logic Program Transformation/doi:/rivista:Electronic proceedings in theoretical computer science/anno:2013/pagina_da:186/pagina_a:210/intervallo_pagine:186–210/volume:129
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 186-210 (2013)

Subject Terms: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.1,F.3.2,F.4.1,I.2.2,D.2.4, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/1309.5139
http://arxiv.org/abs/1309.5139
https://publications.cnr.it/doc/268050
http://www.cnr.it/prodotto/i/268050
https://doaj.org/article/de24029bfece49d1b9f91e4e8d0dc595
http://arxiv.org/pdf/1309.5139.pdf
https://128.84.21.199/abs/1309.5139
https://arxiv.org/abs/1309.5139
https://ui.adsabs.harvard.edu/abs/2013arXiv1309.5139D/abstract
https://arxiv.org/abs/1309.5139
https://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#AngelisFPP13
https://doi.org/10.4204/EPTCS.129.12

Transformations of logic programs on infinite lists

Authors: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. et al.

Contributors: SENNI, VALERIO PETTOROSSI, ALBERTO Proietti M. et al.

Source: Theory and practice of logic programming 10 (2010): 383–399.
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M.; Senni, V./titolo:Transformations of Logic Programs on Infinite Lists/doi:/rivista:Theory and practice of logic programming/anno:2010/pagina_da:383/pagina_a:399/intervallo_pagine:383–399/volume:10

Subject Terms: Program Verification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.1.6, QA75 Electronic computers. Computer science, D.2.4, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, 0102 computer and information sciences, 02 engineering and technology, Logic programming, Program transformation, Logic programming, 01 natural sciences, Infinite Lists, Logic in Computer Science (cs.LO), Program Transformation, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, F.3.1, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1007.4157
http://arxiv.org/abs/1007.4157
http://www.cnr.it/prodotto/i/7494
https://publications.cnr.it/doc/7494
https://publications.cnr.it/doc/153702
http://www.cnr.it/prodotto/i/153702
https://arxiv.org/pdf/1007.4157
https://arxiv.org/abs/1007.4157v1
http://ui.adsabs.harvard.edu/abs/2010arXiv1007.4157P/abstract
https://art.torvergata.it/handle/2108/32777
https://arxiv.org/pdf/1007.4157
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000177
https://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-4157
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/transformations-of-logic-programs-on-infinite-lists/CED87C4272FF933AAAB404640275E563
https://hdl.handle.net/20.500.14243/170367

Inversion by Partial Evaluation: A Reversible Interpreter Experiment

Authors: Glück, Robert Normann, Louis Marott

Source: Electronic Proceedings in Theoretical Computer Science. 413:1-14

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.4, Formal Languages and Automata Theory (cs.FL), F.1.1, F.3.2, Computer Science - Formal Languages and Automata Theory, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2412.03122

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Authors: Neron, Pierre

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

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

Automating the Diagram Method to Prove Correctness of Program Transformations

Authors: Sabel, David

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

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

Automated generation of program translation and verification tools using annotated grammars

Authors: Ordóñez Camacho, Diego Mens, Kim Brand, Mark van den et al.

Source: Science of Computer Programming. Jan2010, Vol. 75 Issue 1/2, p3-20. 18p.

Subject Terms: *PROGRAM transformation, *COMPUTER programming, *COMPUTER software, *AUTOMATION, *VERIFICATION of computer systems, *GRAMMAR, *PROGRAMMING languages