Suchergebnisse - (((automatic OR automatizace) OR automatizacie) OR automation) programming— program transformation
-
1
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
-
2
Autoren:
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
-
3
Autoren: 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)
-
4
Autoren: et al.
Quelle: Genetic Programming and Evolvable Machines. 20(4):531-580
Schlagwörter: Neutral program variant, Program transformation, Java, Code plasticity
Dateibeschreibung: print
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Functional programming, Point-free transform
Dateibeschreibung: application/pdf
Relation: 9783540691747; 0302-9743
Verfügbarkeit: https://hdl.handle.net/1822/14350
-
6
Autoren:
Quelle: IEEE Transactions on Software Engineering. Apr2003, Vol. 29 Issue 4, p360-384. 24p. 2 Black and White Photographs, 37 Diagrams, 8 Charts.
-
7
Autoren: Pekunov, V.1
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
-
8
Weitere Verfasser:
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
-
9
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
-
10
Autoren: Brown, Stephen Anthony
Schlagwörter: 005, Computer software & programming
-
11
Autoren: Huang, Hanxian
Schlagwörter: Computer science
Dateibeschreibung: application/pdf
-
12
Autoren:
Quelle: Evolutionary Computation. Fall2017, Vol. 25 Issue 3, p351-373. 23p.
Schlagwörter: *GENETIC programming, *PROGRAM transformation, *HEURISTIC, *AUTOMATIC programming (Computer science), *SIGNAL processing
-
13
Autoren:
Quelle: Formal Aspects of Computing. Jul2012, Vol. 24 Issue 4-6, p569-594. 26p.
-
14
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
-
15
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
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: Bidirectional transformation, Point-free programming, Program calculation
Dateibeschreibung: application/pdf
Relation: 9781450304856
Verfügbarkeit: https://hdl.handle.net/1822/15297
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: urn:tid:101394209
Dateibeschreibung: application/pdf
Verfügbarkeit: https://hdl.handle.net/1822/38014
-
18
Autoren:
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
-
19
Autoren: 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
-
20
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
Nájsť tento článok vo Web of Science
Full Text Finder