Results 11 to 20 of about 7,012,540 (365)
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
A visual programming paradigm for abstract deep learning model development [PDF]
IndiaHCI, 2019 Deep learning is one of the fastest growing technologies in computer science with a plethora of applications. But this unprecedented growth has so far been limited to the consumption of deep learning experts.
Srikanth G. Tamilselvam +5 more
semanticscholar +3 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
Array programming with NumPy [PDF]
Nature, 2020 Array programming provides a powerful, compact and expressive syntax for accessing, manipulating and operating on data in vectors, matrices and higher-dimensional arrays. NumPy is the primary array programming library for the Python language.
Charles R. Harris +25 more
semanticscholar +1 more source
Applied Sciences, 2022 Brittleness plays an important role in assessing the stability of the surrounding rock mass in deep underground projects. To this end, the present study deals with developing a robust evolutionary programming paradigm known as linear genetic programming (
M. Jamei +5 more
semanticscholar +1 more source
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