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

    POPPER, a simple programming language for probabilistic semantic inference in medicine. por Robson, Barry

    Publicado en Computers in Biology & Medicine (2015)

    Ver este registro en EBSCOhost
    Journal Article
  4. Imagen de Portada

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

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

    Creating Languages in Racket. por Flatt, Matthew

    Publicado en Communications of the ACM (Jan2012)

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

    Letters.

    Publicado en Computer (00189162) (Sep2020)

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

    An Integrated Approach to the Procedural Modeling of Ancient Cities and Buildings. por Saldaña, Marie

    Publicado en Digital Scholarship in the Humanities (2015 Supplement)

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

    Using AI to Auto-Tag Graduate Theses. por Morgan, Kyle

    Publicado en Information Technology & Libraries (Dec2025)

    Ver este registro en EBSCOhost
    Journal Article
  12. Imagen de Portada

    Disagreement in discipline-building processes. por Anzola, David

    Publicado en Synthese (Nov2021 Supplement 25)

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

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

    Publicado en Computer (00189162) (Jan2009)

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

    CRITICAL CHOROGRAPHY: A PEDAGOGICAL APPROACH. por Cohen, Jason E.


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

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


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

    Handling Big Data Scalability in Biological Domain Using Parallel and Distributed Processing: A Case of Three Biological Semantic Similarity Measures. por Almasoud, Ameera M., Al-Khalifa, Hend S., Al-Salman, Abdulmalik S.

    Publicado en BioMed Research International (1/27/2019)

    Ver este registro en EBSCOhost
    algorithm equations & formulas pictorial research tables/charts Journal Article
  20. Imagen de Portada

    Certified Software. por ZHONG SHAO

    Publicado en Communications of the ACM (Dec2010)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: