Search Results - (automatic OR automation) programming- program transformation
-
1
Authors: Pekunov, V.1
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
-
2
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
-
3
Authors:
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
-
4
Authors: Brown, Stephen Anthony
Subject Terms: 005, Computer software & programming
-
5
Authors: 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)
-
6
Authors: et al.
Source: Fundamenta Informaticae. 2012, Vol. 119 Issue 3-4, p281-300. 20p. 1 Diagram, 1 Chart.
Subject Terms: *LOGIC programming, *PROGRAM transformation, *SOFTWARE verification, *AUTOMATION, *INTEGERS, *REAL numbers
-
7
Contributors:
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
-
8
-
9
Authors: et al.
Source: Association for Computing Machinery
Index Terms: Article, http://purl.org/eprint/type/JournalArticle
URL:
https://hdl.handle.net/1721.1/155517
10.1145/3656463
Proceedings of the ACM on Programming Languages -
10
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
-
11
Authors:
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
-
12
Authors:
Source: Information & Software Technology. Feb2015, Vol. 58, p95-109. 15p.
Subject Terms: *AUTOMATION, *SOFTWARE engineering, ITERATIVE methods (Mathematics), RECURSIVE functions, GRAPH theory
-
13
-
14
Authors:
Source: Science of Computer Programming. Aug2004, Vol. 52 Issue 1-3, p257-280. 24p.
Subject Terms: *PROGRAM transformation, *COMPUTER programming, *COMPUTER engineering, *INFORMATION theory
-
15
Authors:
Source: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2007, Vol. 190 Issue 1, p3-18. 16p.
-
16
Authors: 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)
-
17
Contributors:
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
-
18
Authors: 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
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Functional programming, Point-free transform
File Description: application/pdf
Relation: 9783540691747; 0302-9743
Availability: https://hdl.handle.net/1822/14350
-
20
Authors: et al.
Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Full Text PDF Full Text
Full Text Finder
Nájsť tento článok vo Web of Science