Literatura académica sobre el tema "Programming language semantics"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Programming language semantics".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Programming language semantics"
Schmidt, David A. "Programming language semantics". ACM Computing Surveys 28, n.º 1 (marzo de 1996): 265–67. http://dx.doi.org/10.1145/234313.234419.
Texto completoRiecke, Jon G. "Programming language semantics". ACM SIGPLAN Notices 32, n.º 1 (enero de 1997): 106–9. http://dx.doi.org/10.1145/251595.251613.
Texto completoSteingartner, William. "On some innovations in teaching the formal semantics using software tools". Open Computer Science 11, n.º 1 (17 de diciembre de 2020): 2–11. http://dx.doi.org/10.1515/comp-2020-0130.
Texto completoMLNAŘÍK, HYNEK. "SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ". International Journal of Quantum Information 06, supp01 (julio de 2008): 733–38. http://dx.doi.org/10.1142/s0219749908004031.
Texto completoAbadi, Martín. "Secrecy in Programming-Language Semantics". Electronic Notes in Theoretical Computer Science 20 (1999): 80–94. http://dx.doi.org/10.1016/s1571-0661(04)80068-9.
Texto completoCOSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE". International Journal of Foundations of Computer Science 01, n.º 03 (septiembre de 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.
Texto completoSteingartner, William y Valerie Novitzká. "Categorical model of structural operational semantics for imperative language". Journal of information and organizational sciences 40, n.º 2 (9 de diciembre de 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Texto completoBruce, Kim B. "A paradigmatic object-oriented programming language: Design, static typing and semantics". Journal of Functional Programming 4, n.º 2 (abril de 1994): 127–206. http://dx.doi.org/10.1017/s0956796800001039.
Texto completoGUO, MINYI. "DENOTATIONAL SEMANTICS OF AN HPF-LIKE DATA-PARALLEL LANGUAGE MODEL". Parallel Processing Letters 11, n.º 02n03 (junio de 2001): 363–74. http://dx.doi.org/10.1142/s0129626401000658.
Texto completoDomanov, Oleg. "ON TYPE-THEORETICAL FORMALIZATION OF SITUATION SEMANTICS". Respublica literaria, RL. 2021. vol. 2. no. 3 (15 de septiembre de 2021): 32–41. http://dx.doi.org/10.47850/rl.2021.2.3.32-41.
Texto completoTesis sobre el tema "Programming language semantics"
Berry, Dave. "Generating program animators from programming language semantics". Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/10791.
Texto completoAzevedo, Terceiro Antonio Soares de. "Semantics for an algebraic specification language". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2006. http://hdl.handle.net/10183/8126.
Texto completoProsoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.
Szymczak, Marcin. "Programming language semantics as a foundation for Bayesian inference". Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/28993.
Texto completoBotting, Richard. "Iterative construction of data modelling language semantics". Thesis, Coventry University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362076.
Texto completoBrown, Deryck Forsyth. "Sort inference in action semantics". Thesis, University of Glasgow, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360173.
Texto completoHarrison, Dave. "Functional real-time programming : the language Ruth and its semantics". Thesis, University of Stirling, 1988. http://hdl.handle.net/1893/12116.
Texto completoArenas-Sarmiento, Alvard Enrique. "Implementation of an asynchronous real-time programming language". Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365697.
Texto completoPareschi, Remo. "Type-driven natural language analysis". Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19215.
Texto completoWu, Xiaoqing. "Component-based language implementation with object-oriented syntax and aspect-oriented semantics". Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/wu.pdf.
Texto completoAdditional advisors: Jeff Gray, Marjan Mernik, Alan Sprague, Murat Tanik. Description based on contents viewed June 25, 2007; title from title screen. Includes bibliographical references (p. 132-138).
Gabbay, Murdoch James. "A theory of inductive definitions with α-equivalence : semantics, implementation, programming language". Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620988.
Texto completoLibros sobre el tema "Programming language semantics"
Watt, David A. Programming language syntax and semantics. New York: Prentice Hall, 1991.
Buscar texto completoMuffy, Thomas, ed. Programming language syntax and semantics. New York: Prentice-Hall, 1991.
Buscar texto completoKirkerud, Bjørn. Programming language semantics: Imperative and object-oriented languages. London: International Thomson Computer Press, 1997.
Buscar texto completoMain, M., A. Melton, M. Mislove y D. Schmidt, eds. Mathematical Foundations of Programming Language Semantics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19020-1.
Texto completoMarcotty, Michael. Programming language landscape: Syntax, semantics, and implementation. 2a ed. Chicago: Science Research Associates, 1986.
Buscar texto completoEijck, J. van. Computational semantics with functional programming. Cambridge: Cambridge University Press, 2010.
Buscar texto completoBenedetti, Giulio. The fundamental structural elements of language: Operational semantics. Hauppauge, N.Y: Nova Science Publishers, Inc., 2010.
Buscar texto completoSchmidt, DavidA. Denotational semantics: A methodology for language development. Boston (Mass.): Allyn and Bacon, 1986.
Buscar texto completoFelleisen, Matthias. Semantics engineering with PLT Redex. Cambridge, MA: MIT Press, 2009.
Buscar texto completoDenotational semantics: A methodology for language development. Dubuque, Iowa: Wm.C. Brown, 1988.
Buscar texto completoCapítulos de libros sobre el tema "Programming language semantics"
Venables, W. N. y B. D. Ripley. "The S Language: Syntax and Semantics". En S Programming, 5–38. New York, NY: Springer New York, 2000. http://dx.doi.org/10.1007/978-0-387-21856-4_2.
Texto completoBloss, Adrienne y Paul Hudak. "Path semantics". En Mathematical Foundations of Programming Language Semantics, 476–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19020-1_26.
Texto completoConsel, Charles y Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler". En Programming Language Implementation and Logic Programming, 135–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54444-5_94.
Texto completoPleban, Uwe F. y Peter Lee. "High-level semantics". En Mathematical Foundations of Programming Language Semantics, 550–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19020-1_29.
Texto completoMadeira, Alexandre, Manuel A. Martins y Luís S. Barbosa. "Boilerplates for Reconfigurable Systems: A Language and Its Semantics". En Programming Languages, 75–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40922-6_6.
Texto completoRodríguez, Leonardo. "An Intrinsic Denotational Semantics for a Lazy Functional Language". En Programming Languages, 75–80. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24012-1_6.
Texto completoBoulanger, Dmitri, Maurice Bruynooghe y Marc Denecker. "Abstracting s-semantics using a model-theoretic approach". En Programming Language Implementation and Logic Programming, 432–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58402-1_30.
Texto completoGamatié, Abdoulaye. "Formal Semantics". En Designing Embedded Systems with the SIGNAL Programming Language, 95–108. New York, NY: Springer New York, 2009. http://dx.doi.org/10.1007/978-1-4419-0941-1_7.
Texto completoMosses, Peter D. "The Varieties of Programming Language Semantics". En Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, 624–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44929-9_49.
Texto completoRutten, J. J. M. M. "Nonwellfounded sets and programming language semantics". En Lecture Notes in Computer Science, 193–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55511-0_9.
Texto completoActas de conferencias sobre el tema "Programming language semantics"
Gorodetskiy, A. D. "NEXTGEN: PROGRAMMING LANGUAGE WITH PROGRAMMABLE SEMANTICS". En V International Scientific and Technical Conference "Radio Engineering, Electronics and Communication". Omsk Scientific-Research Institute of Instrument Engineering, 2019. http://dx.doi.org/10.33286/978-5-6041917-2-9.286-287.
Texto completoMartini, Alfio. "Programming Language Semantics with Isabelle/HOL". En 2013 2nd Workshop-School on Theoretical Computer Science (WEIT). IEEE, 2013. http://dx.doi.org/10.1109/weit.2013.29.
Texto completoLaird, J. "Game Semantics for a Polymorphic Programming Language". En 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.32.
Texto completoLibicki, Daniel Gakh. "Semantics of persistence in the glib programming language". En Companion to the 21st ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176653.
Texto completoWU, HENGYANG y YIXIANG CHEN. "THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE". En Proceedings of the QL&SC 2012. WORLD SCIENTIFIC, 2012. http://dx.doi.org/10.1142/9789814401531_0032.
Texto completoSrinivasan, Venkatesh y Thomas Reps. "Synthesis of machine code from semantics". En PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2737924.2737960.
Texto completoTan, Antoine Tran y Hartmut Kaiser. "Extending C++ with co-array semantics". En PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2935323.2935332.
Texto completoLahav, Ori y Roy Margalit. "Robustness against release/acquire semantics". En PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3314221.3314604.
Texto completoPark, Daejun, Andrei Stefănescu y Grigore Roşu. "KJS: a complete formal semantics of JavaScript". En PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2737924.2737991.
Texto completoMontesi, Danilo y Riccardo Torlone. "A Framework for the Specification of Active Rule Language Semantics". En Proceedings of the Fifth International Workshop on Database Programming Languages. BCS Learning & Development, 1995. http://dx.doi.org/10.14236/ewic/dbpl1995.22.
Texto completo