Добірка наукової літератури з теми "Programming language semantics"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Programming language semantics".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Programming language semantics"
Schmidt, David A. "Programming language semantics." ACM Computing Surveys 28, no. 1 (March 1996): 265–67. http://dx.doi.org/10.1145/234313.234419.
Повний текст джерелаRiecke, Jon G. "Programming language semantics." ACM SIGPLAN Notices 32, no. 1 (January 1997): 106–9. http://dx.doi.org/10.1145/251595.251613.
Повний текст джерелаSteingartner, William. "On some innovations in teaching the formal semantics using software tools." Open Computer Science 11, no. 1 (December 17, 2020): 2–11. http://dx.doi.org/10.1515/comp-2020-0130.
Повний текст джерелаMLNAŘÍK, HYNEK. "SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ." International Journal of Quantum Information 06, supp01 (July 2008): 733–38. http://dx.doi.org/10.1142/s0219749908004031.
Повний текст джерелаAbadi, 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.
Повний текст джерелаCOSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE." International Journal of Foundations of Computer Science 01, no. 03 (September 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.
Повний текст джерелаSteingartner, William, and Valerie Novitzká. "Categorical model of structural operational semantics for imperative language." Journal of information and organizational sciences 40, no. 2 (December 9, 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Повний текст джерелаBruce, Kim B. "A paradigmatic object-oriented programming language: Design, static typing and semantics." Journal of Functional Programming 4, no. 2 (April 1994): 127–206. http://dx.doi.org/10.1017/s0956796800001039.
Повний текст джерелаGUO, MINYI. "DENOTATIONAL SEMANTICS OF AN HPF-LIKE DATA-PARALLEL LANGUAGE MODEL." Parallel Processing Letters 11, no. 02n03 (June 2001): 363–74. http://dx.doi.org/10.1142/s0129626401000658.
Повний текст джерелаDomanov, Oleg. "ON TYPE-THEORETICAL FORMALIZATION OF SITUATION SEMANTICS." Respublica literaria, RL. 2021. vol. 2. no. 3 (September 15, 2021): 32–41. http://dx.doi.org/10.47850/rl.2021.2.3.32-41.
Повний текст джерелаДисертації з теми "Programming language semantics"
Berry, Dave. "Generating program animators from programming language semantics." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/10791.
Повний текст джерелаAzevedo, 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.
Повний текст джерелаProsoft 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.
Повний текст джерелаBotting, Richard. "Iterative construction of data modelling language semantics." Thesis, Coventry University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362076.
Повний текст джерелаBrown, Deryck Forsyth. "Sort inference in action semantics." Thesis, University of Glasgow, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360173.
Повний текст джерелаHarrison, Dave. "Functional real-time programming : the language Ruth and its semantics." Thesis, University of Stirling, 1988. http://hdl.handle.net/1893/12116.
Повний текст джерелаArenas-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.
Повний текст джерелаPareschi, Remo. "Type-driven natural language analysis." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19215.
Повний текст джерелаWu, 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.
Повний текст джерелаAdditional 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.
Повний текст джерелаКниги з теми "Programming language semantics"
Watt, David A. Programming language syntax and semantics. New York: Prentice Hall, 1991.
Знайти повний текст джерелаMuffy, Thomas, ed. Programming language syntax and semantics. New York: Prentice-Hall, 1991.
Знайти повний текст джерелаKirkerud, Bjørn. Programming language semantics: Imperative and object-oriented languages. London: International Thomson Computer Press, 1997.
Знайти повний текст джерелаMain, M., A. Melton, M. Mislove, and 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.
Повний текст джерелаMarcotty, Michael. Programming language landscape: Syntax, semantics, and implementation. 2nd ed. Chicago: Science Research Associates, 1986.
Знайти повний текст джерелаEijck, J. van. Computational semantics with functional programming. Cambridge: Cambridge University Press, 2010.
Знайти повний текст джерелаBenedetti, Giulio. The fundamental structural elements of language: Operational semantics. Hauppauge, N.Y: Nova Science Publishers, Inc., 2010.
Знайти повний текст джерелаSchmidt, DavidA. Denotational semantics: A methodology for language development. Boston (Mass.): Allyn and Bacon, 1986.
Знайти повний текст джерелаFelleisen, Matthias. Semantics engineering with PLT Redex. Cambridge, MA: MIT Press, 2009.
Знайти повний текст джерелаDenotational semantics: A methodology for language development. Dubuque, Iowa: Wm.C. Brown, 1988.
Знайти повний текст джерелаЧастини книг з теми "Programming language semantics"
Venables, W. N., and B. D. Ripley. "The S Language: Syntax and Semantics." In S Programming, 5–38. New York, NY: Springer New York, 2000. http://dx.doi.org/10.1007/978-0-387-21856-4_2.
Повний текст джерелаBloss, Adrienne, and Paul Hudak. "Path semantics." In 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.
Повний текст джерелаConsel, Charles, and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler." In 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.
Повний текст джерелаPleban, Uwe F., and Peter Lee. "High-level semantics." In 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.
Повний текст джерелаMadeira, Alexandre, Manuel A. Martins, and Luís S. Barbosa. "Boilerplates for Reconfigurable Systems: A Language and Its Semantics." In Programming Languages, 75–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40922-6_6.
Повний текст джерелаRodríguez, Leonardo. "An Intrinsic Denotational Semantics for a Lazy Functional Language." In Programming Languages, 75–80. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24012-1_6.
Повний текст джерелаBoulanger, Dmitri, Maurice Bruynooghe, and Marc Denecker. "Abstracting s-semantics using a model-theoretic approach." In 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.
Повний текст джерелаGamatié, Abdoulaye. "Formal Semantics." In 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.
Повний текст джерелаMosses, Peter D. "The Varieties of Programming Language Semantics." In 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.
Повний текст джерелаRutten, J. J. M. M. "Nonwellfounded sets and programming language semantics." In Lecture Notes in Computer Science, 193–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55511-0_9.
Повний текст джерелаТези доповідей конференцій з теми "Programming language semantics"
Gorodetskiy, A. D. "NEXTGEN: PROGRAMMING LANGUAGE WITH PROGRAMMABLE SEMANTICS." In 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.
Повний текст джерелаMartini, Alfio. "Programming Language Semantics with Isabelle/HOL." In 2013 2nd Workshop-School on Theoretical Computer Science (WEIT). IEEE, 2013. http://dx.doi.org/10.1109/weit.2013.29.
Повний текст джерелаLaird, J. "Game Semantics for a Polymorphic Programming Language." In 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.32.
Повний текст джерелаLibicki, Daniel Gakh. "Semantics of persistence in the glib programming language." In Companion to the 21st ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176653.
Повний текст джерелаWU, HENGYANG, and YIXIANG CHEN. "THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE." In Proceedings of the QL&SC 2012. WORLD SCIENTIFIC, 2012. http://dx.doi.org/10.1142/9789814401531_0032.
Повний текст джерелаSrinivasan, Venkatesh, and Thomas Reps. "Synthesis of machine code from semantics." In 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.
Повний текст джерелаTan, Antoine Tran, and Hartmut Kaiser. "Extending C++ with co-array semantics." In 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.
Повний текст джерелаLahav, Ori, and Roy Margalit. "Robustness against release/acquire semantics." In 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.
Повний текст джерелаPark, Daejun, Andrei Stefănescu, and Grigore Roşu. "KJS: a complete formal semantics of JavaScript." In 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.
Повний текст джерелаMontesi, Danilo, and Riccardo Torlone. "A Framework for the Specification of Active Rule Language Semantics." In Proceedings of the Fifth International Workshop on Database Programming Languages. BCS Learning & Development, 1995. http://dx.doi.org/10.14236/ewic/dbpl1995.22.
Повний текст джерела