Results 1 to 10 of about 379,458 (139)

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, Tauber, Markus G., Woehrer, Alexander   +2 more
openaire   +3 more sources

Formulas as Programs [PDF]

, 1998
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs.
Apt, Krzysztof R., Bezem, Marc
core   +10 more sources

Evaluating Cache Coherent Shared Virtual Memory for Heterogeneous Multicore Chips [PDF]

, 2013
The trend in industry is towards heterogeneous multicore processors (HMCs), including chips with CPUs and massively-threaded throughput-oriented processors (MTTOPs) such as GPUs.
Hechtman, Blake A., Sorin, Daniel J.
core   +2 more sources

Polymorphic Types in ACL2

, 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 ...
Selfridge, Benjamin, Smith, Eric
core   +4 more sources

Confessions of a live coder [PDF]

, 2011
This paper describes the process involved when a live coder decides to learn a new musical programming language of another paradigm. The paper introduces the problems of running comparative experiments, or user studies, within the field of live coding ...
Magnusson, Thor
core   +3 more sources

Reachability under Contextual Locking [PDF]

, 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.
Bonnet, Remi, Chadha, Rohit, Madhusudan, P., Viswanathan, Mahesh   +3 more
core   +1 more source

Reasoning About a Service-oriented Programming Paradigm

, 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.
A. Barros, A. Barros, A. Lapadula, C. Guidi, C. Guidi, C. Guidi, C. Guidi, Claudio Guidi, D. Kristol, F. Montesi, F. Montesi, Fabrizio Montesi, I. Lanese, Jolie---Java Orchestration Language Interpreter Engine, M. Baldoni, M. Boreale, M. Bravetti, M. Carbone, M. Viroli, M.J. Butler, Maurice H. ter Beek, N. Busi, N. Busi, R. Bruni, R. Milner, R. Milner, Software Engineering for Service-Oriented Overlay Computers, Web Services Glossary, Zope   +28 more
core   +2 more sources

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs [PDF]

, 2014
We extract a novel quantum programming paradigm - superposition of programs - from the design idea of a popular class of quantum algorithms, namely quantum walk-based algorithms.
Feng, Yuan, Ying, Mingsheng, Yu, Nengkun
core  

Kickstarting Choreographic Programming

, 2015
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of ...
Montesi, Fabrizio
core   +1 more source

Economic modelling using constraint logic programming [PDF]

, 1996
This paper investigates the use of constraint logic programming (CLP) in economic modelling through the design and implementation of two economic models.
Donovan, N, Gilbert, D
core