Resultados de búsqueda - Programming language semantics*

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

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

    Publicado 2011
    Ver este registro en EBSCOhost
    Libro
  4. 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
  5. 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
  6. Imagen de Portada

    Creating Languages in Racket. por Flatt, Matthew

    Publicado en Communications of the ACM (Jan2012)

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

    Letters.

    Publicado en Computer (00189162) (Sep2020)

    Ver este registro en EBSCOhost
    Artículo
  8. 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
  9. Imagen de Portada

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

    Publicado en Computer (00189162) (Jan2009)

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

    Incorrect Responses in First-Order False-Belief Tests. A Hybrid-Logical Formalization. por Braüner, Torben

    Publicado en Logic & Logical Philosophy (2020)

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

    Konrad Zuse and his Plankalkül: The Hope to Emerge from the Sleep of Sleeping Beauty. por Petrocelli, Carla


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

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


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

    Dialogue in Peirce, Lotman, and Bakhtin: A comparative study. por Laas, Oliver

    Publicado en Sign Systems Studies (2016)

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

    Certified Software. por ZHONG SHAO

    Publicado en Communications of the ACM (Dec2010)

    Ver este registro en EBSCOhost
    Artículo
  15. 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
  16. 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
  17. Imagen de Portada

    Semiotics of the 20th century. por Ivanov, Vyacheslav V.

    Publicado en Sign Systems Studies (2008)

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

    A Logical Calculus of Meaning and Synonymy. por Moschovakis, Yiannis N.

    Publicado en Linguistics & Philosophy (Feb2006)

    Ver este registro en EBSCOhost
    Artículo
  19. 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
  20. Imagen de Portada

    Sense and the Computation of Reference. por Muskens, Reinhard

    Publicado en Linguistics & Philosophy (Aug2005)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: