Suchergebnisse - [en] IMPERATIVE PROGRAMMING
-
1
Additional Titles: En jämförelseanalys av Wasm-prestanda för olika programmeringsparadigmer
Autoren: Johansson, Eric
Index Begriffe: WebAssembly, Programming paradigms, Object-oriented programming, Functional programming, Imperative programming, Programmingsparadigmer, Objektorienterad programmering, Funktionell programmering, Imperativ programmering, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-367944
TRITA-EECS-EX ; 2025:431 -
2
Autoren: LUIZ ROMARIO SANTANA RIOS
Thesis Advisors: ROBERTO IERUSALIMSCHY
Schlagwörter: [pt] PROGRAMACAO ORIENTADA A OBJETOS, [pt] LEVANTAMENTO, [pt] DESIGN DE LINGUAGENS DE PROGRAMACAO, [pt] PROGRAMACAO IMPERATIVA, [pt] FUNCOES DE PRIMEIRA CLASSE, [pt] PROGRAMACAO FUNCIONAL, [en] OBJECT-ORIENTED PROGRAMMING, [en] SURVEY, [en] PROGRAMMING LANGUAGE DESIGN, [en] IMPERATIVE PROGRAMMING, [en] FIRST-CLASS FUNCTIONS, [en] FUNCTIONAL PROGRAMMING
-
3
Autoren: Johansson, Eric
Schlagwörter: WebAssembly, Programming paradigms, Object-oriented programming, Functional programming, Imperative programming, Programmingsparadigmer, Objektorienterad programmering, Funktionell programmering, Imperativ programmering, Computer and Information Sciences, Data- och informationsvetenskap
Dateibeschreibung: application/pdf
Relation: TRITA-EECS-EX; 2025:431
Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-367944
-
4
Autoren: et al.
Quelle: Symmetry (20738994). Sep2024, Vol. 16 Issue 9, p1146. 19p.
Schlagwörter: *LANGUAGE models, *GENETIC programming, *LINEAR programming, *COMPUTER software, *EVOLUTIONARY algorithms
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: QPL 2022 - Quantum Physics and Logic ; https://inria.hal.science/hal-03895106 ; QPL 2022 - Quantum Physics and Logic, Jun 2022, Oxford, United Kingdom. ; https://www.qplconference.org/
Schlagwörter: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geographisches Schlagwort: Oxford, United Kingdom
Relation: hal-03895106; https://inria.hal.science/hal-03895106; https://inria.hal.science/hal-03895106/document; https://inria.hal.science/hal-03895106/file/27Silva.pdf
-
6
Autoren: Trejos Buriticá, Omar Iván
Quelle: Avances: Investigación en Ingeniería; Vol. 14 No. 1 (2017): Advances Engineering Research; 62-75 ; Avances Investigación en Ingeniería; Vol. 14 Núm. 1 (2017): Avances Investigación en Ingeniería; 62-75 ; 2619-6581 ; 10.18041/avances.v14i1
Schlagwörter: Algoritmo, Metodología, Programación de computadores, Programación funcional, Programación imperativa, Algorithm, Computer programming, functional programming, imperative programming, Methodology
Dateibeschreibung: application/pdf
Relation: http://revistas.unilibre.edu.co/index.php/avances/article/view/1284/992; http://revistas.unilibre.edu.co/index.php/avances/article/view/1284
-
7
Autoren: Sirvent Pardell, Raül
Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. :7-18
Schlagwörter: [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-01025633/file/RR-8569.pdf
https://inria.hal.science/hal-01016565v1
https://inria.hal.science/hal-01025633v2
https://dl.acm.org/doi/10.1145/2643135.2643159
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2014.html#DouenceT14
https://hal.inria.fr/hal-01016565
https://hal.archives-ouvertes.fr/hal-01016565/
https://hal.inria.fr/hal-01025633/file/RR-8569.pdf -
9
Autoren: et al.
Quelle: Natural Computing. Jun2024, Vol. 23 Issue 2, p365-385. 21p.
Schlagwörter: *PROGRAMMING languages, *STANDARD language, *CHEMICAL reactions, *BINDING sites, *TILES
-
10
Autoren: Hamel, Lutz1
Quelle: Proceedings of the IADIS International Conference on WWW/Internet. 2023, p207-211. 5p.
Schlagwörter: Declarative programming, Pattern matching, Programming languages, Imperative programming, Computer vision
-
11
Additional Titles: Funktionella och reaktiva programmeringsmönster i imperativa programspråk
Autoren: Sandström, Jesper
Index Begriffe: Functional Programming, Reactive Programming, Software Architecture, Programming patterns, Programming Paradigms, Computer Sciences, Datavetenskap (datalogi), Student thesis, info:eu-repo/semantics/bachelorThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231426
TRITA-EECS-EX ; 2018:321 -
12
Autoren: Llopis, Marcel
Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Thesis Advisors: Franch Gutiérrez, Javier, Soria Guerrero, Manel
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: Àrees temàtiques de la UPC::Informàtica
Dateibeschreibung: application/pdf
-
13
Alternate Title: A METHODOLOGICAL PROPOSAL TO BUILD AN ALGORITHM TO DETERMINE WHETHER A NUMBER IS PERFECT USING IMPERATIVE PROGRAMMING. (English)
Autoren: TREJOS BURITICÁ, Omar Iván
Quelle: Revista Facultad de Ciencias Basicas; 2017, Vol. 13 Issue 2, p83-89, 7p
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: Intérprete, Programación, Lógica, Scheme, Cláusulas de Horn, Interpreter, Programming, Logic, Horn clauses
Relation: https://hdl.handle.net/10902/32333
Verfügbarkeit: https://hdl.handle.net/10902/32333
-
15
Autoren: et al.
Index Begriffe: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació, Programming languages (Electronic computers) -- Development, Llenguatges de programació -- Desenvolupament, Article
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.sorbonne-universite.fr/tel-04172640 ; Informatique [cs]. Sorbonne Université, 2020. Français. ⟨NNT : ⟩.
Schlagwörter: Predictive programming, Certified programming, Refinement, Correctness-by-construction, Relational semantics, Cos (software), Proof assistant, Programmation impérative, Raffinement, Correction par construction, Programmation certifiée, Sémantique relationnelle, Coq (logiciel), Programmation impérative (informatique), Assistants de preuve, Langages de programmation, Sémantique, [INFO]Computer Science [cs]
Relation: tel-04172640; https://hal.sorbonne-universite.fr/tel-04172640; https://hal.sorbonne-universite.fr/tel-04172640/document; https://hal.sorbonne-universite.fr/tel-04172640/file/sall-manuscrit-these.pdf
-
17
Autoren:
Weitere Verfasser:
Quelle: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.archives-ouvertes.fr/hal-02524486 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 168 (1), pp.51 - 77. ⟨10.3233/FI-2019-1824⟩.
Schlagwörter: Simulation, Imperative, Completeness, Computability, ASM, Algorithm, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-02524486; https://hal.archives-ouvertes.fr/hal-02524486; https://hal.archives-ouvertes.fr/hal-02524486/document; https://hal.archives-ouvertes.fr/hal-02524486/file/Marquer.pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩
Schlagwörter: Call-by-value λ-calculus, Imperative programming, Pi Calculus, Bisimulation, Type System, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, π-calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-03920025; https://hal.science/hal-03920025; https://hal.science/hal-03920025/document; https://hal.science/hal-03920025/file/lambda_ref.pdf
-
19
Autoren: Angius, Nicola1 (AUTHOR)
Quelle: Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.
Schlagwörter: *SEMANTICS, *PROGRAMMING language semantics, *DEFINITIONS, *PROGRAMMING languages, *AGENT (Philosophy), *SOURCE code, *PHILOSOPHY of language
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Certified programming, Correction par construction, Langages de programmation, Programmation impérative (informatique), Sémantique, Programmation certifiée, Predictive programming, Refinement, Raffinement, [INFO] Computer Science [cs], Assistants de preuve, Correctness-by-construction, Cos (software), Coq (logiciel), Sémantique relationnelle, Programmation impérative, Proof assistant, Relational semantics
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.sorbonne-universite.fr/tel-04172640v1
Nájsť tento článok vo Web of Science
Full Text Finder