Suchergebnisse - [en] IMPERATIVE PROGRAMMING

Treffer weiter einschränken
  1. 1

    A comparative analysis of Wasm performance for different programming paradigms

    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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    [en] A SURVEY OF FUNCTION VALUES IN IMPERATIVE PROGRAMMING LANGUAGES

    [pt] UM LEVANTAMENTO SOBRE O SUPORTE A FUNÇÕES COMO VALORES EM LINGUAGENS IMPERATIVAS

    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

    Verfügbarkeit: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=47283@1
    https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=47283@2

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    A comparative analysis of Wasm performance for different programming paradigms ; En jämförelseanalys av Wasm-prestanda för olika programmeringsparadigmer

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Imperative Genetic Programming.

    Autoren: Fajfar, Iztok Rojec, Žiga Bűrmen, Árpád et al.

    Quelle: Symmetry (20738994). Sep2024, Vol. 16 Issue 9, p1146. 19p.

    Schlagwörter: *LANGUAGE models, *GENETIC programming, *LINEAR programming, *COMPUTER software, *EVOLUTIONARY algorithms

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    An imperative programming language characterizing FBQP

    Autoren: Hainry, Emmanuel Péchoux, Romain Silva, Mário et al.

    Weitere Verfasser: Hainry, Emmanuel Péchoux, Romain Silva, Mário 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

    Verfügbarkeit: https://inria.hal.science/hal-03895106
    https://inria.hal.science/hal-03895106/document
    https://inria.hal.science/hal-03895106/file/27Silva.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Algorithmic Methodology to build functions to solve processes with simple calculations using two programming paradigms ; Metodología algorítmica para construir funciones que resuelvan cálculos basados en procesos simples usando Programación Funcional

    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

    Verfügbarkeit: http://revistas.unilibre.edu.co/index.php/avances/article/view/1284
    https://doi.org/10.18041/1794-4953/avances.1.1284

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    GRID superscalar: a programming model for the Grid

    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

    Zugangs-URL: http://www.tdx.cat/TDX-1118110-124150
    http://hdl.handle.net/10803/6015
    https://dx.doi.org/10.5821/dissertation-2117-93329

    View record in TDX
    Zu den Favoriten
  8. 8

    Lazier Imperative Programming

    Autoren: Douence, Rémi Tabareau, Nicolas Aspect and composition languages (ASCOLA) et al.

    Weitere Verfasser: Douence, Rémi Tabareau, Nicolas Aspect and composition languages (ASCOLA) 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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    ALCH: An imperative language for chemical reaction network-controlled tile assembly.

    Autoren: Klinge, Titus H. Lathrop, James I. Moreno, Sonia et al.

    Quelle: Natural Computing. Jun2024, Vol. 23 Issue 2, p365-385. 21p.

    Schlagwörter: *PROGRAMMING languages, *STANDARD language, *CHEMICAL reactions, *BINDING sites, *TILES

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    DECLARATIVE PROGRAMMING IN MODERN IMPERATIVE LANGUAGES.

    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

    Zu den Favoriten
  11. 11

    Functional and Reactive Patterns in Idiomatically Imperative Programming Languages

    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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Revolutionizing space mission event modeling with the Tychonis framework

    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

    Zugangs-URL: http://hdl.handle.net/10803/690428
    https://dx.doi.org/10.5821/dissertation-2117-405578

    View record in TDX
    Zu den Favoriten
  13. 13

    PROPUESTA METODOLÓGICA PARA CONSTRUIR UN ALGORITMO QUE DETERMINE SI UN NÚMERO ES PERFECTO USANDO PROGRAMACIÓN IMPERATIVA. (Spanish)

    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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Implementación de un intérprete de programación lógica en Scheme y estrategias de resolución de cláusulas de Horn ; Implementation of a logic programming interpreter in Scheme and Horn clause resolution strategies

    Autoren: Frías García-Lago, Fernando Gómez Pérez, Domingo Universidad de Cantabria

    Weitere Verfasser: Frías García-Lago, Fernando Gómez Pérez, Domingo Universidad de Cantabria

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Assessing the usability of two declarative programming languages to model geometric events

    Autoren: Universitat Politècnica de Catalunya. Doctorat en Computació Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. Departament de Física 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

    URL: https://hdl.handle.net/2117/390405
    https://arc.aiaa.org/doi/abs/10.2514/1.I011207?journalCode=jais
    https://arc.aiaa.org/doi/abs/10.2514/1.I011207?journalCode=jais

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Imperative programming by refinement in the Coq proof assistant ; Programmation impérative par raffinements avec l'assistant de preuve Coq

    Autoren: Sall, Boubacar Algorithmes, Programmes et Résolution (APR) LIP6 et al.

    Weitere Verfasser: Sall, Boubacar Algorithmes, Programmes et Résolution (APR) LIP6 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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Algorithmic Completeness of Imperative Programming Languages

    Autoren: Marquer, Yoann Laboratoire d'Algorithmique Complexité et Logique (LACL) Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)

    Weitere Verfasser: Marquer, Yoann Laboratoire d'Algorithmique Complexité et Logique (LACL) Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)

    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

    Verfügbarkeit: 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
    https://doi.org/10.3233/FI-2019-1824

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

    Autoren: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Foundations of Component-based Ubiquitous Systems (FOCUS) et al.

    Weitere Verfasser: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Foundations of Component-based Ubiquitous Systems (FOCUS) 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]

    Geographisches Schlagwort: Paris, France

    Relation: hal-03920025; https://hal.science/hal-03920025; https://hal.science/hal-03920025/document; https://hal.science/hal-03920025/file/lambda_ref.pdf

    Verfügbarkeit: https://hal.science/hal-03920025
    https://hal.science/hal-03920025/document
    https://hal.science/hal-03920025/file/lambda_ref.pdf
    https://doi.org/10.4230/LIPIcs.ICALP.2022.114

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Meaning and Reference in Programming Languages.

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Imperative programming by refinement in the Coq proof assistant

    Autoren: Sall, Boubacar Sall, Boubacar Demba

    Weitere Verfasser: Sall, Boubacar Sall, Boubacar Demba

    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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: