Resultados de búsqueda - "Programming language semantics"

  • Mostrando 1 - 18 Resultados de 18
Limitar resultados
  1. Imagen de Portada

    Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeli... por BROY, MANFRED, RUMPE, BERNHARD

    Publicado en Communications of the ACM (May2023)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    The language of social software. por Van Eijck, Jan

    Publicado en Synthese (Dec2010 Supplement)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    The Rational Programmer: Investigating Programming Language Pragmatics. por Dimoulas, Christos, Felleisen, Matthias

    Publicado en Communications of the ACM (Jul2025)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    Arguments for pseudo-resultative predicates. por Levinson, Lisa

    Publicado en Natural Language & Linguistic Theory (Feb2010)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    Creating Languages in Racket. por Flatt, Matthew

    Publicado en Communications of the ACM (Jan2012)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    Letters.

    Publicado en Computer (00189162) (Sep2020)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

    Mind Your State for Your State of Mind. por HELLAND, PAT

    Publicado en Communications of the ACM (Oct2018)

    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

    Rosetta: Standardization at the System Level. por Alexander, Perry

    Publicado en Computer (00189162) (Jan2009)

    Ver este registro en EBSCOhost
    Artículo
  9. Imagen de Portada

    Type and Metaphor for Computer Programmers. por Colburn, Timothy, Shute, Gary


    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

    Semantics, conceptual spaces, and the meeting of minds. por Warglien, Massimo, Gärdenfors, Peter

    Publicado en Synthese (Aug2013)

    Ver este registro en EBSCOhost
    Artículo
  11. Imagen de Portada

    Logic in India-Editorial Introduction. por Ditmarsch, Hans, Parikh, Rohit, Ramanujam, R.

    Publicado en Journal of Philosophical Logic (Oct2011)

    Ver este registro en EBSCOhost
    Editorial
  12. Imagen de Portada

    Explaining Crossover and Superiority as Left-to-right Evaluation. por Chung-Chieh Shan, Barker, Chris

    Publicado en Linguistics & Philosophy (Feb2006)

    Ver este registro en EBSCOhost
    Artículo
  13. Imagen de Portada

    A connection based approach to common-sense topological description and reasoning. por Gotts, N.M., Gooday, J.M.

    Publicado en Monist (Jan1996)

    Ver este registro en EBSCOhost
    Artículo
  14. Imagen de Portada

    Formal Methods por André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  15. Imagen de Portada

    Innovación educativa y formación docente. Últimas aportaciones en la investigación por Anguita Osuna, José Enrique (Editor), Hernán Losada, Isidoro (Editor)

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  16. Imagen de Portada

    Tools and Algorithms for the Construction and Analysis of Systems por Dirk Beyer, Marieke Huisman

    Publicado 2018
    Ver este registro en EBSCOhost
    Libro
  17. Imagen de Portada

    Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science por Andrzej Yatsko, Walery Suslow

    Publicado 2015
    Ver este registro en EBSCOhost
    Libro
  18. Imagen de Portada

    Mathematical Aspects of Logic Programming Semantics por Pascal Hitzler, Anthony Seda

    Publicado 2011
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: