Artículos de revistas sobre el tema "Programming language semantics"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación 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.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
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 completoHannan, John. "Extended natural semantics". Journal of Functional Programming 3, n.º 2 (abril de 1993): 123–52. http://dx.doi.org/10.1017/s0956796800000666.
Texto completoSELINGER, PETER. "Towards a quantum programming language". Mathematical Structures in Computer Science 14, n.º 4 (agosto de 2004): 527–86. http://dx.doi.org/10.1017/s0960129504004256.
Texto completoHARRISON, AMELIA y VLADIMIR LIFSCHITZ. "Relating Two Dialects of Answer Set Programming". Theory and Practice of Logic Programming 19, n.º 5-6 (septiembre de 2019): 1006–20. http://dx.doi.org/10.1017/s1471068419000322.
Texto completoWU, Heng-Yang. "The Semantics of Imperative Fuzzy Programming Language". Chinese Journal of Computers 36, n.º 4 (13 de marzo de 2014): 862–69. http://dx.doi.org/10.3724/sp.j.1016.2013.00862.
Texto completoGhica, Dan R. y Khulood Alyahya. "On the Learnability of Programming Language Semantics". Electronic Proceedings in Theoretical Computer Science 261 (29 de noviembre de 2017): 57–75. http://dx.doi.org/10.4204/eptcs.261.7.
Texto completoZamulin, A. V. "Algebraic Semantics of an Imperative Programming Language". Programming and Computer Software 29, n.º 6 (noviembre de 2003): 328–37. http://dx.doi.org/10.1023/b:pacs.0000004133.80483.66.
Texto completoSulema, Y. S. y V. V. Glinskii. "Semantics and pragmatics of programming language ASAMPL". PROBLEMS IN PROGRAMMING, n.º 1 (enero de 2020): 074–83. http://dx.doi.org/10.15407/pp2020.01.074.
Texto completoLaird, J. "Game semantics for a polymorphic programming language". Journal of the ACM 60, n.º 4 (agosto de 2013): 1–27. http://dx.doi.org/10.1145/2508028.2505986.
Texto completoTchier, F. "Demonic semantics: using monotypes and residuals". International Journal of Mathematics and Mathematical Sciences 2004, n.º 3 (2004): 135–60. http://dx.doi.org/10.1155/s016117120420415x.
Texto completoABRAMOV, SERGEI y ROBERT GLÜCK. "FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS". International Journal of Foundations of Computer Science 12, n.º 02 (abril de 2001): 171–211. http://dx.doi.org/10.1142/s0129054101000448.
Texto completoRIESCO, ADRIÁN y JUAN RODRÍGUEZ-HORTALÁ. "Singular and plural functions for functional logic programming". Theory and Practice of Logic Programming 14, n.º 1 (17 de mayo de 2012): 65–116. http://dx.doi.org/10.1017/s147106841200004x.
Texto completoCRUZ, FLAVIO, RICARDO ROCHA, SETH COPEN GOLDSTEIN y FRANK PFENNING. "A Linear Logic Programming Language for Concurrent Programming over Graph Structures". Theory and Practice of Logic Programming 14, n.º 4-5 (julio de 2014): 493–507. http://dx.doi.org/10.1017/s1471068414000167.
Texto completoGhica, Dan R. "Regular-Language Semantics for a Call-by-Value Programming Language". Electronic Notes in Theoretical Computer Science 45 (noviembre de 2001): 106–18. http://dx.doi.org/10.1016/s1571-0661(04)80958-7.
Texto completoZhang, Yudong, Wenhao Zheng y Ming Li. "Learning Uniform Semantic Features for Natural Language and Programming Language Globally, Locally and Sequentially". Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 de julio de 2019): 5845–52. http://dx.doi.org/10.1609/aaai.v33i01.33015845.
Texto completoTofte, Mads. "Principal signatures for higher-order program modules". Journal of Functional Programming 4, n.º 3 (julio de 1994): 285–335. http://dx.doi.org/10.1017/s0956796800001088.
Texto completoKaiser, G. E. "Incremental dynamic semantics for language-based programming environments". ACM Transactions on Programming Languages and Systems 11, n.º 2 (abril de 1989): 169–93. http://dx.doi.org/10.1145/63264.63400.
Texto completoCOSTANTINÍ, STEFANIA y GAETANO AURELIO LANZARONE. "A metalogic programming approach: language, semantics and applications". Journal of Experimental & Theoretical Artificial Intelligence 6, n.º 3 (julio de 1994): 239–87. http://dx.doi.org/10.1080/09528139408953789.
Texto completoHudak, Paul. "Denotational semantics of a para-functional programming language". International Journal of Parallel Programming 15, n.º 2 (abril de 1986): 103–25. http://dx.doi.org/10.1007/bf01414441.
Texto completoBerry, Gérard y Georges Gonthier. "The Esterel synchronous programming language: design, semantics, implementation". Science of Computer Programming 19, n.º 2 (noviembre de 1992): 87–152. http://dx.doi.org/10.1016/0167-6423(92)90005-v.
Texto completoCruttwell, Geoffrey, Jonathan Gallagher y Dorette Pronk. "Categorical semantics of a simple differential programming language". Electronic Proceedings in Theoretical Computer Science 333 (8 de febrero de 2021): 289–310. http://dx.doi.org/10.4204/eptcs.333.20.
Texto completoLASSEN, S. B. "Action semantics reasoning about functional programs". Mathematical Structures in Computer Science 7, n.º 5 (octubre de 1997): 557–89. http://dx.doi.org/10.1017/s0960129597002417.
Texto completoSilbermann, Frank S. K. y Bharat Jayaraman. "A domain-theoretic approach to functional and logic programming". Journal of Functional Programming 2, n.º 3 (julio de 1992): 273–321. http://dx.doi.org/10.1017/s095679680000040x.
Texto completoBOUDOL, GÉRARD. "The recursive record semantics of objects revisited". Journal of Functional Programming 14, n.º 3 (14 de abril de 2004): 263–315. http://dx.doi.org/10.1017/s0956796803004775.
Texto completoWEIRICH, STEPHANIE. "Type-safe run-time polytypic programming". Journal of Functional Programming 16, n.º 6 (28 de febrero de 2006): 681–710. http://dx.doi.org/10.1017/s0956796806005879.
Texto completoVieira, R., A. F. Moreira, M. Wooldridge y R. H. Bordini. "On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language". Journal of Artificial Intelligence Research 29 (30 de junio de 2007): 221–67. http://dx.doi.org/10.1613/jair.2221.
Texto completoLE, VAN HUNG, FEI LIU y DINH KHANG TRAN. "Fuzzy linguistic logic programming and its applications". Theory and Practice of Logic Programming 9, n.º 3 (mayo de 2009): 309–41. http://dx.doi.org/10.1017/s1471068409003779.
Texto completoLifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming". AI Magazine 37, n.º 3 (7 de octubre de 2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.
Texto completoCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras". Electronic Proceedings in Theoretical Computer Science 172 (28 de diciembre de 2014): 165–90. http://dx.doi.org/10.4204/eptcs.172.12.
Texto completoPLAICE, JOHN A. "The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics". Annals of the New York Academy of Sciences 661, n.º 1 Frontiers of (diciembre de 1992): 118–51. http://dx.doi.org/10.1111/j.1749-6632.1992.tb26038.x.
Texto completoCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras". New Generation Computing 34, n.º 1-2 (marzo de 2016): 25–68. http://dx.doi.org/10.1007/s00354-016-0204-3.
Texto completoSaint-Dizier, Patrick. "An approach to natural-language semantics in logic programming". Journal of Logic Programming 3, n.º 4 (diciembre de 1986): 329–56. http://dx.doi.org/10.1016/0743-1066(86)90010-5.
Texto completoMihelic, Jurij, William Steingartner y Valerie Novitzká. "A denotational semantics of a concatenative/compositional programming language". Acta Polytechnica Hungarica 18, n.º 4 (2021): 231–50. http://dx.doi.org/10.12700/aph.18.4.2021.4.13.
Texto completoDe Silva, Lavindra. "An Operational Semantics for True Concurrency in BDI Agent Systems". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 05 (3 de abril de 2020): 7119–26. http://dx.doi.org/10.1609/aaai.v34i05.6199.
Texto completoCLARK, DAVID, ROBERTO GIACOBAZZI y CHUNYAN MU. "Foreword: programming language interference and dependence". Mathematical Structures in Computer Science 21, n.º 6 (27 de octubre de 2011): 1109–10. http://dx.doi.org/10.1017/s0960129511000168.
Texto completoYang, Zheng y Hang Lei. "Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq". Mathematical Problems in Engineering 2020 (30 de noviembre de 2020): 1–15. http://dx.doi.org/10.1155/2020/6191537.
Texto completoBryant, Barrett, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France y Gabor Karsai. "Challenges and directions in formalizing the semantics of modeling languages". Computer Science and Information Systems 8, n.º 2 (2011): 225–53. http://dx.doi.org/10.2298/csis110114012b.
Texto completoMAY, WOLFGANG. "XPath-logic and XPathLog: A logic-programming style XML data manipulation language". Theory and Practice of Logic Programming 4, n.º 3 (16 de abril de 2004): 239–87. http://dx.doi.org/10.1017/s147106840300187x.
Texto completoNISHIMURA, SUSUMU y ATSUSHI OHORI. "Parallel functional programming on recursively defined data via data-parallel recursion". Journal of Functional Programming 9, n.º 4 (julio de 1999): 427–62. http://dx.doi.org/10.1017/s0956796899003457.
Texto completoSeidman, Robert H. "Computer Programming and Logical Reasoning: Unintended Cognitive Effects". Journal of Educational Technology Systems 18, n.º 2 (diciembre de 1989): 123–41. http://dx.doi.org/10.2190/myuy-g56t-226t-pvt0.
Texto completoEl-Zawawy, Mohamed A. "Testing Automation of Context-Oriented Programs Using Separation Logic". Applied Computational Intelligence and Soft Computing 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/930186.
Texto completo