- -

Listar por palabra clave "Programming languages"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Programming languages"

Ordenar por:Orden:Resultados:

  • thumb
    Applications and extensions of context-sensitive rewriting 
    Lucas Alba, Salvador (Elsevier, 2021-06)
    [EN] Context-sensitive rewriting is a restriction of term rewriting which is obtained by imposing replacement restrictions on the arguments of function symbols. It has proven useful to analyze computational properties of ...
  • Icon
    Completeness of Context-Sensitive Rewriting 
    Lucas Alba, Salvador (Elsevier, 2015-02)
    Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete computations. Context-sensitive rewriting (csr) is the restriction of rewriting that only permits reductions on arguments ...
  • Icon
    Context-sensitive Rewriting 
    Lucas Alba, Salvador (Association for Computing Machinery, 2020-09)
    [EN] The appropriate selection of the arguments of functions that can be evaluated in function calls is often useful to improve efficiency, speed, termination behavior, and so on. This is essential, e.g., in the conditional ...
  • Icon
    Design and implementation of an interpreter for the machine language AML written in Zig 
    Marco Torró, Jorge (Universitat Politècnica de València, 2022-10-18)
    [ES] ACPI (Advanced Configuration and Power Interface) es una interfaz estándar entre el hardware y el software que permite a los sistemas operativos realizar funciones como el descubrimiento de dispositivos y la gestión ...
  • thumb
    Diseño e implementación de entorno de ejecución para sistemas embebidos con arquitectura ARM Cortex-A 
    Llano Sánchez, Leandro Rafael (Universitat Politècnica de València, 2020-10-13)
    [ES] Cada vez más los sistemas embebidos tienen mayor relevancia en la vida cotidiana, están presente alrededor de todos y en las cosas que menos se piensan. Debido al gran uso de estos sistemas, en el mundo laboral ...
  • Icon
    Program Slicing for Modern Programming Languages 
    Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2025-09-24)
    [ES] Producir software eficiente y efectivo es una tarea que parece ser tan difícil ahora como lo era para los primeros ordenadores. Con cada mejora de hardware y herramientas de desarrollo (como son compiladores y ...
  • Icon
    Software Engineering Project: AIT Radio 
    Latorre Portillo, Elisa (Universitat Politècnica de València, 2013-02-15)
    The idea behind the project is to provide students of AIT (Athlone Institute of Tehcnoloy) and persons outside the collage some services like listen to radio live broadcast, create their own program radio or choose their ...
  • thumb
    Un estudio comparativo de los lenguajes de programación de la última década 
    Darás de la Fuente, Claudia (Universitat Politècnica de València, 2022-10-18)
    [ES] El sector de la programación está en una continua actualización e innovación, ya sea por nuevas tendencias que surgen o por nuevas tecnologías emergentes. Pero para que la programación funcione se necesitan lenguajes ...