Results 1 to 10 of about 358,999 (187)
A Processing-in-Memory Architecture Programming Paradigm for Wireless Internet-of-Things Applications [PDF]
Sensors, 2019 The widespread applications of the wireless Internet of Things (IoT) is one of the leading factors in the emerging of Big Data. Huge amounts of data need to be transferred and processed.
Xu Yang, Yumin Hou, Hu He
doaj +2 more sources
Reasoning About a Service-oriented Programming Paradigm [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services.
Claudio Guidi, Fabrizio Montesi
doaj +4 more sources
Polymorphic Types in ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of ...
Benjamin Selfridge, Eric Smith
doaj +4 more sources
Reachability under Contextual Locking [PDF]
Logical Methods in Computer Science, 2013 The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the program.
Remi Bonnet +3 more
doaj +3 more sources
The Answer Set Programming Paradigm [PDF]
AI Magazine, 2016 In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Niemelä, Ilkka, Janhunen, Tomi
openaire +6 more sources
Towards comparing programming paradigms [PDF]
2017 12th International Conference for Internet Technology and Secured Transactions (ICITST), 2017 Rapid technological progress in computer sciences finds solutions and at the same time creates ever more complex requirements. Due to an evolving complexity todays programming languages provide powerful frameworks which offer standard solutions for recurring tasks to assist the programmer and to avoid the re-invention of the wheel with so-called out-of-
Ivkic, Igor +2 more
openaire +5 more sources
SINTECH (Science and Information Technology) Journal, 2021 Pesatnya perkembangan teknologi menghasilkan era digitalisasi. Permintaan pengembangan perangkat lunak dan insinyur perangkat lunak di berbagai sektor industri, bisnis, dan pendidikan sangat tinggi.
Bagas Triaji +2 more
doaj +1 more source
Programming Paradigms in the Context of the Programming Language [PDF]
International Journal Of Engineering And Computer Science, 2016 The choice of the first programming language and the corresponding programming paradigm is critical development of a programmer. In computer science, several programming paradigms can be recognized. There is the huge number of programming languages introduced over the last fifty years, the key issues in programming education remain the same and ...
Pratibha Yadav +2 more
openaire +1 more source
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
The Six concerns for Separation of Concerns [PDF]
, 2001 Despite a common agreement on the necessity of the application of the separation of concerns (SOC) principle, there is not yet a consensus for its key issues.
Aksit, Mehmet +2 more
core +10 more sources