Results for Programming language semantics Showing 1 - 48 results of 48 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=Programming+language+semantics&type=TX&lng=en 48 0 50 Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language. Sun, 01 Jan 2023 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/163324672 https://descubridor.academia.cl/EITRecord/163324672 BROY, MANFRED Article 2023-05-01 BROY, MANFRED 0 The language of social software. Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/56526541 https://descubridor.academia.cl/EITRecord/56526541 Van Eijck, Jan Article 2010 Van Eijck, Jan 0 POPPER, a simple programming language for probabilistic semantic inference in medicine. Thu, 01 Jan 2015 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/109770737 https://descubridor.academia.cl/EITRecord/109770737 Robson, Barry Journal Article 2015 Robson, Barry 0 Mathematical Aspects of Logic Programming Semantics Sat, 01 Jan 2011 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/935008 https://descubridor.academia.cl/EITRecord/935008 Pascal Hitzler Book 2011 Pascal Hitzler 0 The Rational Programmer: Investigating Programming Language Pragmatics. Wed, 01 Jan 2025 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/186249321 https://descubridor.academia.cl/EITRecord/186249321 Dimoulas, Christos Article 2025-07-01 Dimoulas, Christos 0 Arguments for pseudo-resultative predicates. Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/48357072 https://descubridor.academia.cl/EITRecord/48357072 Levinson, Lisa Article 2010-02-01 Levinson, Lisa 0 Creating Languages in Racket. Sun, 01 Jan 2012 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/71678005 https://descubridor.academia.cl/EITRecord/71678005 Flatt, Matthew Article 2012-01-01 Flatt, Matthew 0 Letters. Wed, 01 Jan 2020 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/145693490 https://descubridor.academia.cl/EITRecord/145693490 Article 2020-09-01 0 Mind Your State for Your State of Mind. Mon, 01 Jan 2018 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/132750976 https://descubridor.academia.cl/EITRecord/132750976 HELLAND, PAT Article 2018-10-01 HELLAND, PAT 0 An Integrated Approach to the Procedural Modeling of Ancient Cities and Buildings. Thu, 01 Jan 2015 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/111246795 https://descubridor.academia.cl/EITRecord/111246795 Saldaña, Marie Article 2015 Saldaña, Marie 0 Using AI to Auto-Tag Graduate Theses. Wed, 01 Jan 2025 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/190457010 https://descubridor.academia.cl/EITRecord/190457010 Morgan, Kyle Journal Article 2025-12-01 Morgan, Kyle 0 Disagreement in discipline-building processes. Fri, 01 Jan 2021 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/153553281 https://descubridor.academia.cl/EITRecord/153553281 Anzola, David Article 2021 Anzola, David 0 Rosetta: Standardization at the System Level. Thu, 01 Jan 2009 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/36111277 https://descubridor.academia.cl/EITRecord/36111277 Alexander, Perry Article 2009-01-01 Alexander, Perry 0 Incorrect Responses in First-Order False-Belief Tests. A Hybrid-Logical Formalization. Wed, 01 Jan 2020 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/144434214 https://descubridor.academia.cl/EITRecord/144434214 Braüner, Torben Article 2020 Braüner, Torben 0 Konrad Zuse and his Plankalkül: The Hope to Emerge from the Sleep of Sleeping Beauty. Tue, 01 Jan 2019 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/139159414 https://descubridor.academia.cl/EITRecord/139159414 Petrocelli, Carla Article 2019-03-01 Petrocelli, Carla 0 CRITICAL CHOROGRAPHY: A PEDAGOGICAL APPROACH. Mon, 01 Jan 2018 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/128493577 https://descubridor.academia.cl/EITRecord/128493577 Cohen, Jason E. Article 2018-03-01 Cohen, Jason E. 0 Type and Metaphor for Computer Programmers. Sun, 01 Jan 2017 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/122555566 https://descubridor.academia.cl/EITRecord/122555566 Colburn, Timothy Article 2017 Colburn, Timothy 0 Dialogue in Peirce, Lotman, and Bakhtin: A comparative study. Fri, 01 Jan 2016 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/122572013 https://descubridor.academia.cl/EITRecord/122572013 Laas, Oliver Article 2016 Laas, Oliver 0 Handling Big Data Scalability in Biological Domain Using Parallel and Distributed Processing: A Case of Three Biological Semantic Similarity Measures. Mon, 01 Jan 0001 17:32:30 -0442 https://descubridor.academia.cl/EITRecord/134287391 https://descubridor.academia.cl/EITRecord/134287391 Almasoud, Ameera M. algorithm equations & formulas pictorial research tables/charts Journal Article 2019-01-27 Almasoud, Ameera M. 0 Certified Software. Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/55618670 https://descubridor.academia.cl/EITRecord/55618670 ZHONG SHAO Article 2010-12-01 ZHONG SHAO 0 Semantics, conceptual spaces, and the meeting of minds. Tue, 01 Jan 2013 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/88784631 https://descubridor.academia.cl/EITRecord/88784631 Warglien, Massimo Article 2013-08-01 Warglien, Massimo 0 Logic in India-Editorial Introduction. Sat, 01 Jan 2011 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/65548893 https://descubridor.academia.cl/EITRecord/65548893 Ditmarsch, Hans Editorial 2011-10-01 Ditmarsch, Hans 0 The character of quotation. Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/60465673 https://descubridor.academia.cl/EITRecord/60465673 Shan, Chung-chieh Article 2010-10-01 Shan, Chung-chieh 0 Semiotics of the 20th century. Tue, 01 Jan 2008 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/35789462 https://descubridor.academia.cl/EITRecord/35789462 Ivanov, Vyacheslav V. Article 2008 Ivanov, Vyacheslav V. 0 A Logical Calculus of Meaning and Synonymy. Sun, 01 Jan 2006 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/20976600 https://descubridor.academia.cl/EITRecord/20976600 Moschovakis, Yiannis N. Article 2006-02-01 Moschovakis, Yiannis N. 0 Explaining Crossover and Superiority as Left-to-right Evaluation. Sun, 01 Jan 2006 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/20976599 https://descubridor.academia.cl/EITRecord/20976599 Chung-Chieh Shan Article 2006-02-01 Chung-Chieh Shan 0 Sense and the Computation of Reference. Sat, 01 Jan 2005 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/18597383 https://descubridor.academia.cl/EITRecord/18597383 Muskens, Reinhard Article 2005-08-01 Muskens, Reinhard 0 Semantic Grid: Scientific Issues, Infrastructure, and Methodology. Sat, 01 Jan 2005 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/16746092 https://descubridor.academia.cl/EITRecord/16746092 Hai Zhuge Article 2005-04-01 Hai Zhuge 0 A connection based approach to common-sense topological description and reasoning. Mon, 01 Jan 1996 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/9604101145 https://descubridor.academia.cl/EITRecord/9604101145 Gotts, N.M. Article 1996-01-01 Gotts, N.M. 0 Watching the web grow up. Wed, 01 Jan 0003 17:32:30 -0442 https://descubridor.academia.cl/EITRecord/24323800 https://descubridor.academia.cl/EITRecord/24323800 Article 2007-03-10 0 Writing through Big Data: New Challenges and Possibilities for Data-Driven Arguments. Sun, 01 Jan 2017 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/128262008 https://descubridor.academia.cl/EITRecord/128262008 Beveridge, Aaron Article 2017 Beveridge, Aaron 0 Programming Languages and Systems Thu, 01 Jan 2026 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/4462051 https://descubridor.academia.cl/EITRecord/4462051 Robbert Krebbers Book 2026 Robbert Krebbers 0 Governance and Management of Medical Scientific Data Sharing and Application Thu, 01 Jan 2026 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/4388472 https://descubridor.academia.cl/EITRecord/4388472 Jian Guan Book 2026 Jian Guan 0 Formal Methods Wed, 01 Jan 2025 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/4018303 https://descubridor.academia.cl/EITRecord/4018303 André Platzer Book 2025 André Platzer 0 Computer Aided Verification Wed, 01 Jan 2025 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/4278506 https://descubridor.academia.cl/EITRecord/4278506 Ruzica Piskac Book 2025 Ruzica Piskac 0 Theses on the Metaphors of Digital-Textual History Mon, 01 Jan 2024 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3911580 https://descubridor.academia.cl/EITRecord/3911580 Martin Paul Eve Book 2024 Martin Paul Eve 0 Tunnelling for a Better Life Mon, 01 Jan 2024 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3988480 https://descubridor.academia.cl/EITRecord/3988480 Jinxiu Yan Book 2024 Jinxiu Yan 0 Proceedings of the First International Conference on Advances in Computer Vision and Artificial Intelligence Technologies (ACVAIT 2022) Sun, 01 Jan 2023 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3845986 https://descubridor.academia.cl/EITRecord/3845986 Ramesh Manza Book 2023 Ramesh Manza 0 Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education Sun, 01 Jan 2023 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3733335 https://descubridor.academia.cl/EITRecord/3733335 Jean-Philippe Pellet Book 2023 Jean-Philippe Pellet 0 Innovación educativa y formación docente. Últimas aportaciones en la investigación Sun, 01 Jan 2023 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3640102 https://descubridor.academia.cl/EITRecord/3640102 Anguita Osuna, José Enrique (Editor) Book 2023 Anguita Osuna, José Enrique (Editor) 0 Handbook of Research on the Global View of Open Access and Scholarly Communications Sat, 01 Jan 2022 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3286794 https://descubridor.academia.cl/EITRecord/3286794 Daniel Gelaw Alemneh Book 2022 Daniel Gelaw Alemneh 0 Tools and Algorithms for the Construction and Analysis of Systems Mon, 01 Jan 2018 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3735126 https://descubridor.academia.cl/EITRecord/3735126 Dirk Beyer Book 2018 Dirk Beyer 0 The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? Mon, 01 Jan 2018 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3734887 https://descubridor.academia.cl/EITRecord/3734887 Olav Lysne Book 2018 Olav Lysne 0 Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science Thu, 01 Jan 2015 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/1805184 https://descubridor.academia.cl/EITRecord/1805184 Andrzej Yatsko Book 2015 Andrzej Yatsko 0 Model-driven Development Methodology for Hybrid Embedded Systems Based on UML with Emphasis on Safety-related Requirements Wed, 01 Jan 2014 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/881751 https://descubridor.academia.cl/EITRecord/881751 Daw Pérez, Zamira A. Book 2014 Daw Pérez, Zamira A. 0 Products and Services - From R&D to Final Solutions Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/4007225 https://descubridor.academia.cl/EITRecord/4007225 Igor Fuerstner Book 2010 Igor Fuerstner 0 Digital System Design - Use of Microcontroller Fri, 01 Jan 2010 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3455224 https://descubridor.academia.cl/EITRecord/3455224 Shenouda Dawoud Book 2010 Shenouda Dawoud 0 Die Tand van die Tyd: Opstelle opgedra aan Jac Conradie Thu, 01 Jan 2009 17:32:30 -0300 https://descubridor.academia.cl/EITRecord/3004578 https://descubridor.academia.cl/EITRecord/3004578 Willie Burger Book 2009 Willie Burger 0