Search Results - Programming language semantics

Refine Results
  1. Cover Image

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

    Published in Communications of the ACM (May2023)

    View this record in EBSCOhost
    Article
  2. Cover Image

    The language of social software. by Van Eijck, Jan

    Published in Synthese (Dec2010 Supplement)

    View this record in EBSCOhost
    Article
  3. Cover Image

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

    Published in Computers in Biology & Medicine (2015)

    View this record in EBSCOhost
    Journal Article
  4. Cover Image

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

    Published 2011
    View this record in EBSCOhost
    Book
  5. Cover Image

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

    Published in Communications of the ACM (Jul2025)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Arguments for pseudo-resultative predicates. by Levinson, Lisa

    Published in Natural Language & Linguistic Theory (Feb2010)

    View this record in EBSCOhost
    Article
  7. Cover Image

    Creating Languages in Racket. by Flatt, Matthew

    Published in Communications of the ACM (Jan2012)

    View this record in EBSCOhost
    Article
  8. Cover Image

    Letters.

    Published in Computer (00189162) (Sep2020)

    View this record in EBSCOhost
    Article
  9. Cover Image

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

    Published in Communications of the ACM (Oct2018)

    View this record in EBSCOhost
    Article
  10. Cover Image

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

    Published in Digital Scholarship in the Humanities (2015 Supplement)

    View this record in EBSCOhost
    Article
  11. Cover Image

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

    Published in Information Technology & Libraries (Dec2025)

    View this record in EBSCOhost
    Journal Article
  12. Cover Image

    Disagreement in discipline-building processes. by Anzola, David

    Published in Synthese (Nov2021 Supplement 25)

    View this record in EBSCOhost
    Article
  13. Cover Image

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

    Published in Computer (00189162) (Jan2009)

    View this record in EBSCOhost
    Article
  14. Cover Image

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

    Published in Logic & Logical Philosophy (2020)

    View this record in EBSCOhost
    Article
  15. Cover Image

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


    View this record in EBSCOhost
    Article
  16. Cover Image

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


    View this record in EBSCOhost
    Article
  17. Cover Image

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


    View this record in EBSCOhost
    Article
  18. Cover Image

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

    Published in Sign Systems Studies (2016)

    View this record in EBSCOhost
    Article
  19. Cover Image

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

    Published in BioMed Research International (1/27/2019)

    View this record in EBSCOhost
    algorithm equations & formulas pictorial research tables/charts Journal Article
  20. Cover Image

    Certified Software. by ZHONG SHAO

    Published in Communications of the ACM (Dec2010)

    View this record in EBSCOhost
    Article

Search Tools: