Search Results - Automatic Programming— Program transformation

Refine Results
  1. 1

    Neural Network Approach to Program Synthesis for Tabular Transformation by Example

    Authors: Yoshifumi Ujibashi Atsuhiro Takasu

    Source: IEEE Access, Vol 10, Pp 24864-24876 (2022)

    Subject Terms: Automatic programming, beam search, LSTM, neural network, programming by example, program synthesis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

    File Description: electronic resource

    Relation: https://ieeexplore.ieee.org/document/9723421/; https://doaj.org/toc/2169-3536

    Access URL: https://doaj.org/article/eb31f17e54ad4d0aabd04e78fbf4e523

    View record in DOAJ Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

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

    Authors: Brown, Stephen Anthony

    Subject Terms: 005, Computer software & programming

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

    View record in EThOS Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    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

    Full Text from ERIC
    Save to List
  4. 4

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    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)

    Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    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

    View record in RCAAP Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Implementing fault-tolerance in real-time systems by program transformations

    Authors: Tolga Ayav Pascal Fradet Alain Girault et al.

    Contributors: Tolga Ayav Pascal Fradet Alain Girault et al.

    Source: http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf.

    Subject Terms: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916
    http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Automatic Program Specialization for Java

    Authors: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

    Contributors: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

    Source: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

    Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
    http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    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

    View record in SwePub Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Case Studies with an Automatic Program Inversion System

    Authors: Masahiko Kawabe Yoshihiko Futamura 二村 良彦 et al.

    Source: Conference Proceedings of Japan Society for Software Science and Technology. 2004, :75

    View Record from J-STAGE Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs.

    Source: ACM Transactions on Programming Languages & Systems. May2004, Vol. 26 Issue 3, p413-463. 51p.

    Subject Terms: *ELECTRONIC data processing, *ALGORITHMS, LOGIC programming, PROGRAM transformation, AUTOMATIC programming (Computer science)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    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)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Graph semantic similarity-based automatic assessment for programming exercises.

    Authors: Xiang C Wang Y Zhou Q et al.

    Source: Scientific reports [Sci Rep] 2024 May 08; Vol. 14 (1), pp. 10530. Date of Electronic Publication: 2024 May 08.

    Publication Type: Journal Article

    Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Domain-Specific Automatic Programming.

    Authors: Barstow, David R.1

    Source: IEEE Transactions on Software Engineering. Nov85, Vol. 11 Issue 11, p1321-1336. 16p. 1 Color Photograph, 5 Diagrams.

    Subject Terms: *COMPUTER programming, *COMPUTER software, *SOFTWARE engineering, AUTOMATIC programming (Computer science), OIL well logging, PETROLEUM engineering

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Characterising harmful API uses and repair techniques: Insights from a systematic review.

    Authors: Ochoa, Lina Hammad, Muhammad Giray, Görkem et al.

    Source: Computer Science Review. Aug2025, Vol. 57, pN.PAG-N.PAG. 1p.

    Subject Terms: Program transformation, Computer software development, Generalization, Awareness, Application program interfaces

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  17. 17

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

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

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

    Subject Terms: GENETIC programming, PROGRAM transformation, HEURISTIC, AUTOMATIC programming (Computer science), SIGNAL processing

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    Transformation by interpreter specialisation

    Authors: Jones, Neil D.1 neil@diku.dk

    Source: Science of Computer Programming. Aug2004, Vol. 52 Issue 1-3, p307-339. 33p.

    Subject Terms: *PROGRAM transformation, *INTERPRETERS (Computer programs), *AUTOMATIC programming (Computer science), *COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Automatic validation of code-improving transformations on low-level program representations

    Authors: van Engelen, Robert Whalley, David Yuan, Xin

    Source: Science of Computer Programming. Aug2004, Vol. 52 Issue 1-3, p257-280. 24p.

    Subject Terms: *PROGRAM transformation, *COMPUTER programming, *COMPUTER engineering, *INFORMATION theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

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

    Authors: Ahrendt, Wolfgang Roth, Andreas Sasse, Ralf

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

    Subject Terms: program logic, programming language semantics, Java

    Access URL: https://research.chalmers.se/publication/10221

    Nájsť tento článok vo Web of Science
    Save to List

Search Tools: