Статті в журналах з теми "Programming language semantics"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Programming language semantics".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерелаHannan, John. "Extended natural semantics." Journal of Functional Programming 3, no. 2 (April 1993): 123–52. http://dx.doi.org/10.1017/s0956796800000666.
Повний текст джерелаSELINGER, PETER. "Towards a quantum programming language." Mathematical Structures in Computer Science 14, no. 4 (August 2004): 527–86. http://dx.doi.org/10.1017/s0960129504004256.
Повний текст джерелаHARRISON, AMELIA, and VLADIMIR LIFSCHITZ. "Relating Two Dialects of Answer Set Programming." Theory and Practice of Logic Programming 19, no. 5-6 (September 2019): 1006–20. http://dx.doi.org/10.1017/s1471068419000322.
Повний текст джерелаWU, Heng-Yang. "The Semantics of Imperative Fuzzy Programming Language." Chinese Journal of Computers 36, no. 4 (March 13, 2014): 862–69. http://dx.doi.org/10.3724/sp.j.1016.2013.00862.
Повний текст джерелаGhica, Dan R., and Khulood Alyahya. "On the Learnability of Programming Language Semantics." Electronic Proceedings in Theoretical Computer Science 261 (November 29, 2017): 57–75. http://dx.doi.org/10.4204/eptcs.261.7.
Повний текст джерелаZamulin, A. V. "Algebraic Semantics of an Imperative Programming Language." Programming and Computer Software 29, no. 6 (November 2003): 328–37. http://dx.doi.org/10.1023/b:pacs.0000004133.80483.66.
Повний текст джерелаSulema, Y. S., and V. V. Glinskii. "Semantics and pragmatics of programming language ASAMPL." PROBLEMS IN PROGRAMMING, no. 1 (January 2020): 074–83. http://dx.doi.org/10.15407/pp2020.01.074.
Повний текст джерелаLaird, J. "Game semantics for a polymorphic programming language." Journal of the ACM 60, no. 4 (August 2013): 1–27. http://dx.doi.org/10.1145/2508028.2505986.
Повний текст джерелаTchier, F. "Demonic semantics: using monotypes and residuals." International Journal of Mathematics and Mathematical Sciences 2004, no. 3 (2004): 135–60. http://dx.doi.org/10.1155/s016117120420415x.
Повний текст джерелаABRAMOV, SERGEI, and ROBERT GLÜCK. "FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS." International Journal of Foundations of Computer Science 12, no. 02 (April 2001): 171–211. http://dx.doi.org/10.1142/s0129054101000448.
Повний текст джерелаRIESCO, ADRIÁN, and JUAN RODRÍGUEZ-HORTALÁ. "Singular and plural functions for functional logic programming." Theory and Practice of Logic Programming 14, no. 1 (May 17, 2012): 65–116. http://dx.doi.org/10.1017/s147106841200004x.
Повний текст джерелаCRUZ, FLAVIO, RICARDO ROCHA, SETH COPEN GOLDSTEIN, and FRANK PFENNING. "A Linear Logic Programming Language for Concurrent Programming over Graph Structures." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 493–507. http://dx.doi.org/10.1017/s1471068414000167.
Повний текст джерелаGhica, Dan R. "Regular-Language Semantics for a Call-by-Value Programming Language." Electronic Notes in Theoretical Computer Science 45 (November 2001): 106–18. http://dx.doi.org/10.1016/s1571-0661(04)80958-7.
Повний текст джерелаZhang, Yudong, Wenhao Zheng, and 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 (July 17, 2019): 5845–52. http://dx.doi.org/10.1609/aaai.v33i01.33015845.
Повний текст джерелаTofte, Mads. "Principal signatures for higher-order program modules." Journal of Functional Programming 4, no. 3 (July 1994): 285–335. http://dx.doi.org/10.1017/s0956796800001088.
Повний текст джерелаKaiser, G. E. "Incremental dynamic semantics for language-based programming environments." ACM Transactions on Programming Languages and Systems 11, no. 2 (April 1989): 169–93. http://dx.doi.org/10.1145/63264.63400.
Повний текст джерелаCOSTANTINÍ, STEFANIA, and GAETANO AURELIO LANZARONE. "A metalogic programming approach: language, semantics and applications." Journal of Experimental & Theoretical Artificial Intelligence 6, no. 3 (July 1994): 239–87. http://dx.doi.org/10.1080/09528139408953789.
Повний текст джерелаHudak, Paul. "Denotational semantics of a para-functional programming language." International Journal of Parallel Programming 15, no. 2 (April 1986): 103–25. http://dx.doi.org/10.1007/bf01414441.
Повний текст джерелаBerry, Gérard, and Georges Gonthier. "The Esterel synchronous programming language: design, semantics, implementation." Science of Computer Programming 19, no. 2 (November 1992): 87–152. http://dx.doi.org/10.1016/0167-6423(92)90005-v.
Повний текст джерелаCruttwell, Geoffrey, Jonathan Gallagher, and Dorette Pronk. "Categorical semantics of a simple differential programming language." Electronic Proceedings in Theoretical Computer Science 333 (February 8, 2021): 289–310. http://dx.doi.org/10.4204/eptcs.333.20.
Повний текст джерелаLASSEN, S. B. "Action semantics reasoning about functional programs." Mathematical Structures in Computer Science 7, no. 5 (October 1997): 557–89. http://dx.doi.org/10.1017/s0960129597002417.
Повний текст джерелаSilbermann, Frank S. K., and Bharat Jayaraman. "A domain-theoretic approach to functional and logic programming." Journal of Functional Programming 2, no. 3 (July 1992): 273–321. http://dx.doi.org/10.1017/s095679680000040x.
Повний текст джерелаBOUDOL, GÉRARD. "The recursive record semantics of objects revisited." Journal of Functional Programming 14, no. 3 (April 14, 2004): 263–315. http://dx.doi.org/10.1017/s0956796803004775.
Повний текст джерелаWEIRICH, STEPHANIE. "Type-safe run-time polytypic programming." Journal of Functional Programming 16, no. 6 (February 28, 2006): 681–710. http://dx.doi.org/10.1017/s0956796806005879.
Повний текст джерелаVieira, R., A. F. Moreira, M. Wooldridge, and R. H. Bordini. "On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language." Journal of Artificial Intelligence Research 29 (June 30, 2007): 221–67. http://dx.doi.org/10.1613/jair.2221.
Повний текст джерелаLE, VAN HUNG, FEI LIU, and DINH KHANG TRAN. "Fuzzy linguistic logic programming and its applications." Theory and Practice of Logic Programming 9, no. 3 (May 2009): 309–41. http://dx.doi.org/10.1017/s1471068409003779.
Повний текст джерелаLifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming." AI Magazine 37, no. 3 (October 7, 2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.
Повний текст джерелаCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras." Electronic Proceedings in Theoretical Computer Science 172 (December 28, 2014): 165–90. http://dx.doi.org/10.4204/eptcs.172.12.
Повний текст джерелаPLAICE, JOHN A. "The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics." Annals of the New York Academy of Sciences 661, no. 1 Frontiers of (December 1992): 118–51. http://dx.doi.org/10.1111/j.1749-6632.1992.tb26038.x.
Повний текст джерелаCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras." New Generation Computing 34, no. 1-2 (March 2016): 25–68. http://dx.doi.org/10.1007/s00354-016-0204-3.
Повний текст джерелаSaint-Dizier, Patrick. "An approach to natural-language semantics in logic programming." Journal of Logic Programming 3, no. 4 (December 1986): 329–56. http://dx.doi.org/10.1016/0743-1066(86)90010-5.
Повний текст джерелаMihelic, Jurij, William Steingartner, and Valerie Novitzká. "A denotational semantics of a concatenative/compositional programming language." Acta Polytechnica Hungarica 18, no. 4 (2021): 231–50. http://dx.doi.org/10.12700/aph.18.4.2021.4.13.
Повний текст джерелаDe Silva, Lavindra. "An Operational Semantics for True Concurrency in BDI Agent Systems." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 05 (April 3, 2020): 7119–26. http://dx.doi.org/10.1609/aaai.v34i05.6199.
Повний текст джерелаCLARK, DAVID, ROBERTO GIACOBAZZI, and CHUNYAN MU. "Foreword: programming language interference and dependence." Mathematical Structures in Computer Science 21, no. 6 (October 27, 2011): 1109–10. http://dx.doi.org/10.1017/s0960129511000168.
Повний текст джерелаYang, Zheng, and Hang Lei. "Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq." Mathematical Problems in Engineering 2020 (November 30, 2020): 1–15. http://dx.doi.org/10.1155/2020/6191537.
Повний текст джерелаBryant, Barrett, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France, and Gabor Karsai. "Challenges and directions in formalizing the semantics of modeling languages." Computer Science and Information Systems 8, no. 2 (2011): 225–53. http://dx.doi.org/10.2298/csis110114012b.
Повний текст джерелаMAY, WOLFGANG. "XPath-logic and XPathLog: A logic-programming style XML data manipulation language." Theory and Practice of Logic Programming 4, no. 3 (April 16, 2004): 239–87. http://dx.doi.org/10.1017/s147106840300187x.
Повний текст джерелаNISHIMURA, SUSUMU, and ATSUSHI OHORI. "Parallel functional programming on recursively defined data via data-parallel recursion." Journal of Functional Programming 9, no. 4 (July 1999): 427–62. http://dx.doi.org/10.1017/s0956796899003457.
Повний текст джерелаSeidman, Robert H. "Computer Programming and Logical Reasoning: Unintended Cognitive Effects." Journal of Educational Technology Systems 18, no. 2 (December 1989): 123–41. http://dx.doi.org/10.2190/myuy-g56t-226t-pvt0.
Повний текст джерелаEl-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.
Повний текст джерела