Resultados para Programming language semantics* Mostrando 1 - 36 Resultados de 36 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=Programming+language+semantics%2A&type=TX&lng=es 36 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 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/163324672 https://descubridor.academia.cl/EITRecord/163324672 BROY, MANFRED Artículo 2023-05-01 BROY, MANFRED 0 The language of social software. Fri, 01 Jan 2010 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/56526541 https://descubridor.academia.cl/EITRecord/56526541 Van Eijck, Jan Artículo 2010 Van Eijck, Jan 0 Mathematical Aspects of Logic Programming Semantics Sat, 01 Jan 2011 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/935008 https://descubridor.academia.cl/EITRecord/935008 Pascal Hitzler Libro 2011 Pascal Hitzler 0 The Rational Programmer: Investigating Programming Language Pragmatics. Wed, 01 Jan 2025 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/186249321 https://descubridor.academia.cl/EITRecord/186249321 Dimoulas, Christos Artículo 2025-07-01 Dimoulas, Christos 0 Arguments for pseudo-resultative predicates. Fri, 01 Jan 2010 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/48357072 https://descubridor.academia.cl/EITRecord/48357072 Levinson, Lisa Artículo 2010-02-01 Levinson, Lisa 0 Creating Languages in Racket. Sun, 01 Jan 2012 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/71678005 https://descubridor.academia.cl/EITRecord/71678005 Flatt, Matthew Artículo 2012-01-01 Flatt, Matthew 0 Letters. Wed, 01 Jan 2020 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/145693490 https://descubridor.academia.cl/EITRecord/145693490 Artículo 2020-09-01 0 Mind Your State for Your State of Mind. Mon, 01 Jan 2018 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/132750976 https://descubridor.academia.cl/EITRecord/132750976 HELLAND, PAT Artículo 2018-10-01 HELLAND, PAT 0 Rosetta: Standardization at the System Level. Thu, 01 Jan 2009 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/36111277 https://descubridor.academia.cl/EITRecord/36111277 Alexander, Perry Artículo 2009-01-01 Alexander, Perry 0 Incorrect Responses in First-Order False-Belief Tests. A Hybrid-Logical Formalization. Wed, 01 Jan 2020 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/144434214 https://descubridor.academia.cl/EITRecord/144434214 Braüner, Torben Artículo 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 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/139159414 https://descubridor.academia.cl/EITRecord/139159414 Petrocelli, Carla Artículo 2019-03-01 Petrocelli, Carla 0 Type and Metaphor for Computer Programmers. Sun, 01 Jan 2017 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/122555566 https://descubridor.academia.cl/EITRecord/122555566 Colburn, Timothy Artículo 2017 Colburn, Timothy 0 Dialogue in Peirce, Lotman, and Bakhtin: A comparative study. Fri, 01 Jan 2016 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/122572013 https://descubridor.academia.cl/EITRecord/122572013 Laas, Oliver Artículo 2016 Laas, Oliver 0 Certified Software. Fri, 01 Jan 2010 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/55618670 https://descubridor.academia.cl/EITRecord/55618670 ZHONG SHAO Artículo 2010-12-01 ZHONG SHAO 0 Semantics, conceptual spaces, and the meeting of minds. Tue, 01 Jan 2013 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/88784631 https://descubridor.academia.cl/EITRecord/88784631 Warglien, Massimo Artículo 2013-08-01 Warglien, Massimo 0 Logic in India-Editorial Introduction. Sat, 01 Jan 2011 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/65548893 https://descubridor.academia.cl/EITRecord/65548893 Ditmarsch, Hans Editorial 2011-10-01 Ditmarsch, Hans 0 Semiotics of the 20th century. Tue, 01 Jan 2008 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/35789462 https://descubridor.academia.cl/EITRecord/35789462 Ivanov, Vyacheslav V. Artículo 2008 Ivanov, Vyacheslav V. 0 A Logical Calculus of Meaning and Synonymy. Sun, 01 Jan 2006 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/20976600 https://descubridor.academia.cl/EITRecord/20976600 Moschovakis, Yiannis N. Artículo 2006-02-01 Moschovakis, Yiannis N. 0 Explaining Crossover and Superiority as Left-to-right Evaluation. Sun, 01 Jan 2006 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/20976599 https://descubridor.academia.cl/EITRecord/20976599 Chung-Chieh Shan Artículo 2006-02-01 Chung-Chieh Shan 0 Sense and the Computation of Reference. Sat, 01 Jan 2005 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/18597383 https://descubridor.academia.cl/EITRecord/18597383 Muskens, Reinhard Artículo 2005-08-01 Muskens, Reinhard 0 Semantic Grid: Scientific Issues, Infrastructure, and Methodology. Sat, 01 Jan 2005 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/16746092 https://descubridor.academia.cl/EITRecord/16746092 Hai Zhuge Artículo 2005-04-01 Hai Zhuge 0 A connection based approach to common-sense topological description and reasoning. Mon, 01 Jan 1996 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/9604101145 https://descubridor.academia.cl/EITRecord/9604101145 Gotts, N.M. Artículo 1996-01-01 Gotts, N.M. 0 Programming Languages and Systems Thu, 01 Jan 2026 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/4462051 https://descubridor.academia.cl/EITRecord/4462051 Robbert Krebbers Libro 2026 Robbert Krebbers 0 Formal Methods Wed, 01 Jan 2025 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/4018303 https://descubridor.academia.cl/EITRecord/4018303 André Platzer Libro 2025 André Platzer 0 Computer Aided Verification Wed, 01 Jan 2025 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/4278506 https://descubridor.academia.cl/EITRecord/4278506 Ruzica Piskac Libro 2025 Ruzica Piskac 0 Theses on the Metaphors of Digital-Textual History Mon, 01 Jan 2024 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3911580 https://descubridor.academia.cl/EITRecord/3911580 Martin Paul Eve Libro 2024 Martin Paul Eve 0 Tunnelling for a Better Life Mon, 01 Jan 2024 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3988480 https://descubridor.academia.cl/EITRecord/3988480 Jinxiu Yan Libro 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 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3845986 https://descubridor.academia.cl/EITRecord/3845986 Ramesh Manza Libro 2023 Ramesh Manza 0 Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education Sun, 01 Jan 2023 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3733335 https://descubridor.academia.cl/EITRecord/3733335 Jean-Philippe Pellet Libro 2023 Jean-Philippe Pellet 0 Innovación educativa y formación docente. Últimas aportaciones en la investigación Sun, 01 Jan 2023 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3640102 https://descubridor.academia.cl/EITRecord/3640102 Anguita Osuna, José Enrique (Editor) Libro 2023 Anguita Osuna, José Enrique (Editor) 0 Handbook of Research on the Global View of Open Access and Scholarly Communications Sat, 01 Jan 2022 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3286794 https://descubridor.academia.cl/EITRecord/3286794 Daniel Gelaw Alemneh Libro 2022 Daniel Gelaw Alemneh 0 Tools and Algorithms for the Construction and Analysis of Systems Mon, 01 Jan 2018 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3735126 https://descubridor.academia.cl/EITRecord/3735126 Dirk Beyer Libro 2018 Dirk Beyer 0 Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science Thu, 01 Jan 2015 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/1805184 https://descubridor.academia.cl/EITRecord/1805184 Andrzej Yatsko Libro 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 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/881751 https://descubridor.academia.cl/EITRecord/881751 Daw Pérez, Zamira A. Libro 2014 Daw Pérez, Zamira A. 0 Digital System Design - Use of Microcontroller Fri, 01 Jan 2010 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3455224 https://descubridor.academia.cl/EITRecord/3455224 Shenouda Dawoud Libro 2010 Shenouda Dawoud 0 Die Tand van die Tyd: Opstelle opgedra aan Jac Conradie Thu, 01 Jan 2009 02:11:08 -0300 https://descubridor.academia.cl/EITRecord/3004578 https://descubridor.academia.cl/EITRecord/3004578 Willie Burger Libro 2009 Willie Burger 0