„program semantics“

Suchergebnisse

553 Treffer

• Gustav Mahler’s mental world – a systematic representation
  Floros, Constantin 2016 PL Academic Research
• Overfitting in semantics-based automated program repair
  Le, Xuan Bach D. ; Thung, Ferdian ; Lo, David ; Goues, Claire Le
• Plagiarism detection in students’ programming assignments based on semantics: multimedia e-learning based smart assessment methodology
  Ullah, Farhan ; Wang, Junfeng ; Farhan, Muhammad ; Jabbar, Sohail ; Wu, Zhiming ; Khalid, Shehzad
• Using frame semantics for classifying and summarizing application store reviews
  Jha, Nishant ; Mahmoud, Anas
• Slicing from formal semantics: Chisel—a tool for generic program slicing
  Asăvoae, Irina Măriuca ; Asăvoae, Mihail ; Riesco, Adrián
• Semantics and Algebraic Specification – Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  Palsberg, Jens ; Mosses, Peter D. 2009 Springer Berlin Heidelberg
• Semantics and algebraic specification – essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
  Palsberg, Jens ; Mosses, Peter D. 2009 Springer
• Time in natural language – syntactic interfaces with semantics and discourse
  Thompson, Ellen 2005 Mouton de Gruyter
• Semantics of programs in a formal system with partially defined functions
  Hertel, Joachim 2011 Saarländische Universitäts- und Landesbibliothek
• Foundations of Software Science and Computation Structures – 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Muscholl, Anca 2014 Springer Berlin Heidelberg
• Programming languages and systems – proceedings
  Shao, Zhong 2014 Springer
• Foundations of software science and computation structures – 17th international conference ; proceedings
  Muscholl, Anca 2014 Springer
• Proceedings / 12th Mexican International Conference on Artificial Intelligence
  Castro, Félix ; Gelbukh, Alexander ; González, Miguel 2013 Springer
• Proceedings / 12th Mexican International Conference on Artificial Intelligence
  2013 Springer
• Applied semantics – international summer school ; advanced lectures
  Barthe, Gilles 2002 Springer
• Verification of business rules programs
  Berstel-Da Silva, Bruno 2014 Springer
• Models of Computation
  Bruni, Roberto ; Montanari, Ugo 2017 Springer International Publishing
• Computable Models
  Turner, Raymond 2009 Springer London
• A semantics for the integration of database modifications and transaction brackets into a logic programming language
  Böttcher, Stefan 1991 Universitätsbibliothek
• NOOP: A Nominal Mathematical Model of Object-Oriented Programming
  AbdelGawad, Moez 2013 Scholar's Press