Artykuły w czasopismach na temat „Programming language semantics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Programming language semantics”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Schmidt, David A. "Programming language semantics". ACM Computing Surveys 28, nr 1 (marzec 1996): 265–67. http://dx.doi.org/10.1145/234313.234419.
Pełny tekst źródłaRiecke, Jon G. "Programming language semantics". ACM SIGPLAN Notices 32, nr 1 (styczeń 1997): 106–9. http://dx.doi.org/10.1145/251595.251613.
Pełny tekst źródłaSteingartner, William. "On some innovations in teaching the formal semantics using software tools". Open Computer Science 11, nr 1 (17.12.2020): 2–11. http://dx.doi.org/10.1515/comp-2020-0130.
Pełny tekst źródłaMLNAŘÍK, HYNEK. "SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ". International Journal of Quantum Information 06, supp01 (lipiec 2008): 733–38. http://dx.doi.org/10.1142/s0219749908004031.
Pełny tekst źródłaAbadi, 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.
Pełny tekst źródłaCOSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE". International Journal of Foundations of Computer Science 01, nr 03 (wrzesień 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.
Pełny tekst źródłaSteingartner, William, i Valerie Novitzká. "Categorical model of structural operational semantics for imperative language". Journal of information and organizational sciences 40, nr 2 (9.12.2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Pełny tekst źródłaBruce, Kim B. "A paradigmatic object-oriented programming language: Design, static typing and semantics". Journal of Functional Programming 4, nr 2 (kwiecień 1994): 127–206. http://dx.doi.org/10.1017/s0956796800001039.
Pełny tekst źródłaGUO, MINYI. "DENOTATIONAL SEMANTICS OF AN HPF-LIKE DATA-PARALLEL LANGUAGE MODEL". Parallel Processing Letters 11, nr 02n03 (czerwiec 2001): 363–74. http://dx.doi.org/10.1142/s0129626401000658.
Pełny tekst źródłaDomanov, Oleg. "ON TYPE-THEORETICAL FORMALIZATION OF SITUATION SEMANTICS". Respublica literaria, RL. 2021. vol. 2. no. 3 (15.09.2021): 32–41. http://dx.doi.org/10.47850/rl.2021.2.3.32-41.
Pełny tekst źródłaHannan, John. "Extended natural semantics". Journal of Functional Programming 3, nr 2 (kwiecień 1993): 123–52. http://dx.doi.org/10.1017/s0956796800000666.
Pełny tekst źródłaSELINGER, PETER. "Towards a quantum programming language". Mathematical Structures in Computer Science 14, nr 4 (sierpień 2004): 527–86. http://dx.doi.org/10.1017/s0960129504004256.
Pełny tekst źródłaHARRISON, AMELIA, i VLADIMIR LIFSCHITZ. "Relating Two Dialects of Answer Set Programming". Theory and Practice of Logic Programming 19, nr 5-6 (wrzesień 2019): 1006–20. http://dx.doi.org/10.1017/s1471068419000322.
Pełny tekst źródłaWU, Heng-Yang. "The Semantics of Imperative Fuzzy Programming Language". Chinese Journal of Computers 36, nr 4 (13.03.2014): 862–69. http://dx.doi.org/10.3724/sp.j.1016.2013.00862.
Pełny tekst źródłaGhica, Dan R., i Khulood Alyahya. "On the Learnability of Programming Language Semantics". Electronic Proceedings in Theoretical Computer Science 261 (29.11.2017): 57–75. http://dx.doi.org/10.4204/eptcs.261.7.
Pełny tekst źródłaZamulin, A. V. "Algebraic Semantics of an Imperative Programming Language". Programming and Computer Software 29, nr 6 (listopad 2003): 328–37. http://dx.doi.org/10.1023/b:pacs.0000004133.80483.66.
Pełny tekst źródłaSulema, Y. S., i V. V. Glinskii. "Semantics and pragmatics of programming language ASAMPL". PROBLEMS IN PROGRAMMING, nr 1 (styczeń 2020): 074–83. http://dx.doi.org/10.15407/pp2020.01.074.
Pełny tekst źródłaLaird, J. "Game semantics for a polymorphic programming language". Journal of the ACM 60, nr 4 (sierpień 2013): 1–27. http://dx.doi.org/10.1145/2508028.2505986.
Pełny tekst źródłaTchier, F. "Demonic semantics: using monotypes and residuals". International Journal of Mathematics and Mathematical Sciences 2004, nr 3 (2004): 135–60. http://dx.doi.org/10.1155/s016117120420415x.
Pełny tekst źródłaABRAMOV, SERGEI, i ROBERT GLÜCK. "FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS". International Journal of Foundations of Computer Science 12, nr 02 (kwiecień 2001): 171–211. http://dx.doi.org/10.1142/s0129054101000448.
Pełny tekst źródłaRIESCO, ADRIÁN, i JUAN RODRÍGUEZ-HORTALÁ. "Singular and plural functions for functional logic programming". Theory and Practice of Logic Programming 14, nr 1 (17.05.2012): 65–116. http://dx.doi.org/10.1017/s147106841200004x.
Pełny tekst źródłaCRUZ, FLAVIO, RICARDO ROCHA, SETH COPEN GOLDSTEIN i FRANK PFENNING. "A Linear Logic Programming Language for Concurrent Programming over Graph Structures". Theory and Practice of Logic Programming 14, nr 4-5 (lipiec 2014): 493–507. http://dx.doi.org/10.1017/s1471068414000167.
Pełny tekst źródłaGhica, Dan R. "Regular-Language Semantics for a Call-by-Value Programming Language". Electronic Notes in Theoretical Computer Science 45 (listopad 2001): 106–18. http://dx.doi.org/10.1016/s1571-0661(04)80958-7.
Pełny tekst źródłaZhang, Yudong, Wenhao Zheng i 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.07.2019): 5845–52. http://dx.doi.org/10.1609/aaai.v33i01.33015845.
Pełny tekst źródłaTofte, Mads. "Principal signatures for higher-order program modules". Journal of Functional Programming 4, nr 3 (lipiec 1994): 285–335. http://dx.doi.org/10.1017/s0956796800001088.
Pełny tekst źródłaKaiser, G. E. "Incremental dynamic semantics for language-based programming environments". ACM Transactions on Programming Languages and Systems 11, nr 2 (kwiecień 1989): 169–93. http://dx.doi.org/10.1145/63264.63400.
Pełny tekst źródłaCOSTANTINÍ, STEFANIA, i GAETANO AURELIO LANZARONE. "A metalogic programming approach: language, semantics and applications". Journal of Experimental & Theoretical Artificial Intelligence 6, nr 3 (lipiec 1994): 239–87. http://dx.doi.org/10.1080/09528139408953789.
Pełny tekst źródłaHudak, Paul. "Denotational semantics of a para-functional programming language". International Journal of Parallel Programming 15, nr 2 (kwiecień 1986): 103–25. http://dx.doi.org/10.1007/bf01414441.
Pełny tekst źródłaBerry, Gérard, i Georges Gonthier. "The Esterel synchronous programming language: design, semantics, implementation". Science of Computer Programming 19, nr 2 (listopad 1992): 87–152. http://dx.doi.org/10.1016/0167-6423(92)90005-v.
Pełny tekst źródłaCruttwell, Geoffrey, Jonathan Gallagher i Dorette Pronk. "Categorical semantics of a simple differential programming language". Electronic Proceedings in Theoretical Computer Science 333 (8.02.2021): 289–310. http://dx.doi.org/10.4204/eptcs.333.20.
Pełny tekst źródłaLASSEN, S. B. "Action semantics reasoning about functional programs". Mathematical Structures in Computer Science 7, nr 5 (październik 1997): 557–89. http://dx.doi.org/10.1017/s0960129597002417.
Pełny tekst źródłaSilbermann, Frank S. K., i Bharat Jayaraman. "A domain-theoretic approach to functional and logic programming". Journal of Functional Programming 2, nr 3 (lipiec 1992): 273–321. http://dx.doi.org/10.1017/s095679680000040x.
Pełny tekst źródłaBOUDOL, GÉRARD. "The recursive record semantics of objects revisited". Journal of Functional Programming 14, nr 3 (14.04.2004): 263–315. http://dx.doi.org/10.1017/s0956796803004775.
Pełny tekst źródłaWEIRICH, STEPHANIE. "Type-safe run-time polytypic programming". Journal of Functional Programming 16, nr 6 (28.02.2006): 681–710. http://dx.doi.org/10.1017/s0956796806005879.
Pełny tekst źródłaVieira, R., A. F. Moreira, M. Wooldridge i 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.06.2007): 221–67. http://dx.doi.org/10.1613/jair.2221.
Pełny tekst źródłaLE, VAN HUNG, FEI LIU i DINH KHANG TRAN. "Fuzzy linguistic logic programming and its applications". Theory and Practice of Logic Programming 9, nr 3 (maj 2009): 309–41. http://dx.doi.org/10.1017/s1471068409003779.
Pełny tekst źródłaLifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming". AI Magazine 37, nr 3 (7.10.2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.
Pełny tekst źródłaCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras". Electronic Proceedings in Theoretical Computer Science 172 (28.12.2014): 165–90. http://dx.doi.org/10.4204/eptcs.172.12.
Pełny tekst źródłaPLAICE, JOHN A. "The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics". Annals of the New York Academy of Sciences 661, nr 1 Frontiers of (grudzień 1992): 118–51. http://dx.doi.org/10.1111/j.1749-6632.1992.tb26038.x.
Pełny tekst źródłaCho, Kenta. "Semantics for a Quantum Programming Language by Operator Algebras". New Generation Computing 34, nr 1-2 (marzec 2016): 25–68. http://dx.doi.org/10.1007/s00354-016-0204-3.
Pełny tekst źródłaSaint-Dizier, Patrick. "An approach to natural-language semantics in logic programming". Journal of Logic Programming 3, nr 4 (grudzień 1986): 329–56. http://dx.doi.org/10.1016/0743-1066(86)90010-5.
Pełny tekst źródłaMihelic, Jurij, William Steingartner i Valerie Novitzká. "A denotational semantics of a concatenative/compositional programming language". Acta Polytechnica Hungarica 18, nr 4 (2021): 231–50. http://dx.doi.org/10.12700/aph.18.4.2021.4.13.
Pełny tekst źródłaDe Silva, Lavindra. "An Operational Semantics for True Concurrency in BDI Agent Systems". Proceedings of the AAAI Conference on Artificial Intelligence 34, nr 05 (3.04.2020): 7119–26. http://dx.doi.org/10.1609/aaai.v34i05.6199.
Pełny tekst źródłaCLARK, DAVID, ROBERTO GIACOBAZZI i CHUNYAN MU. "Foreword: programming language interference and dependence". Mathematical Structures in Computer Science 21, nr 6 (27.10.2011): 1109–10. http://dx.doi.org/10.1017/s0960129511000168.
Pełny tekst źródłaYang, Zheng, i 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.11.2020): 1–15. http://dx.doi.org/10.1155/2020/6191537.
Pełny tekst źródłaBryant, Barrett, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France i Gabor Karsai. "Challenges and directions in formalizing the semantics of modeling languages". Computer Science and Information Systems 8, nr 2 (2011): 225–53. http://dx.doi.org/10.2298/csis110114012b.
Pełny tekst źródłaMAY, WOLFGANG. "XPath-logic and XPathLog: A logic-programming style XML data manipulation language". Theory and Practice of Logic Programming 4, nr 3 (16.04.2004): 239–87. http://dx.doi.org/10.1017/s147106840300187x.
Pełny tekst źródłaNISHIMURA, SUSUMU, i ATSUSHI OHORI. "Parallel functional programming on recursively defined data via data-parallel recursion". Journal of Functional Programming 9, nr 4 (lipiec 1999): 427–62. http://dx.doi.org/10.1017/s0956796899003457.
Pełny tekst źródłaSeidman, Robert H. "Computer Programming and Logical Reasoning: Unintended Cognitive Effects". Journal of Educational Technology Systems 18, nr 2 (grudzień 1989): 123–41. http://dx.doi.org/10.2190/myuy-g56t-226t-pvt0.
Pełny tekst źródłaEl-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.
Pełny tekst źródła