Results for "Programming language semantics" Showing 1 - 18 results of 18 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=%22Programming+language+semantics%22&type=TX&lng=en 18 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 20:21:56 -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 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/56526541 https://descubridor.academia.cl/EITRecord/56526541 Van Eijck, Jan Article 2010 Van Eijck, Jan 0 The Rational Programmer: Investigating Programming Language Pragmatics. Wed, 01 Jan 2025 20:21:56 -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 20:21:56 -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 20:21:56 -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 20:21:56 -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 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/132750976 https://descubridor.academia.cl/EITRecord/132750976 HELLAND, PAT Article 2018-10-01 HELLAND, PAT 0 Rosetta: Standardization at the System Level. Thu, 01 Jan 2009 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/36111277 https://descubridor.academia.cl/EITRecord/36111277 Alexander, Perry Article 2009-01-01 Alexander, Perry 0 Type and Metaphor for Computer Programmers. Sun, 01 Jan 2017 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/122555566 https://descubridor.academia.cl/EITRecord/122555566 Colburn, Timothy Article 2017 Colburn, Timothy 0 Semantics, conceptual spaces, and the meeting of minds. Tue, 01 Jan 2013 20:21:56 -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 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/65548893 https://descubridor.academia.cl/EITRecord/65548893 Ditmarsch, Hans Editorial 2011-10-01 Ditmarsch, Hans 0 Explaining Crossover and Superiority as Left-to-right Evaluation. Sun, 01 Jan 2006 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/20976599 https://descubridor.academia.cl/EITRecord/20976599 Chung-Chieh Shan Article 2006-02-01 Chung-Chieh Shan 0 A connection based approach to common-sense topological description and reasoning. Mon, 01 Jan 1996 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/9604101145 https://descubridor.academia.cl/EITRecord/9604101145 Gotts, N.M. Article 1996-01-01 Gotts, N.M. 0 Formal Methods Wed, 01 Jan 2025 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/4018303 https://descubridor.academia.cl/EITRecord/4018303 André Platzer Book 2025 André Platzer 0 Innovación educativa y formación docente. Últimas aportaciones en la investigación Sun, 01 Jan 2023 20:21:56 -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 Tools and Algorithms for the Construction and Analysis of Systems Mon, 01 Jan 2018 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/3735126 https://descubridor.academia.cl/EITRecord/3735126 Dirk Beyer Book 2018 Dirk Beyer 0 Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science Thu, 01 Jan 2015 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/1805184 https://descubridor.academia.cl/EITRecord/1805184 Andrzej Yatsko Book 2015 Andrzej Yatsko 0 Mathematical Aspects of Logic Programming Semantics Sat, 01 Jan 2011 20:21:56 -0300 https://descubridor.academia.cl/EITRecord/935008 https://descubridor.academia.cl/EITRecord/935008 Pascal Hitzler Book 2011 Pascal Hitzler 0