Results 1 to 10 of about 74,863 (264)
Programming languages in economics: a comparison among Fortran77, C++, and Java
The main objective of this paper was to compare the computer programming languages Fortran77, C++, and Java under four aspects: runtime efficiency, readability, ease of learning, and reliability. For this comparison, we revised the specialized literature
Vieira, Wilson da Cruz +1 more
core
Practical implementation of a dependently typed functional programming language [PDF]
, 2005 Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core
Proving as Programming with DrHOL: A Preliminary Design [PDF]
, 2003 We discuss the design of a new implementation of the HOL system aimed at improved graphical user interface support for formal proof. We call our approach Proving as Programming, since we believe that metalanguage programming is a central aspect of proof ...
Konrad Slind +3 more
core
, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel ...
Hermenegildo, Manuel V. +2 more
core +1 more source
A language of specified programs
Science of Computer Programming, 1985 We describe a language of specified programs devised to form a basis for a system for the development of provably-correct programs. A specified program, as introduced by Blikle and then developed in this paper, consists of statements and declarations (in our language these are standard sequential, conditional and loop statements, blocks with local ...
openaire +2 more sources
A principled approach to programming with nested types in Haskell
, 2009 Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold ...
Ghani, Neil, Johann, Patricia
core +1 more source
Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages. [PDF]
Sci Rep, 2020 Prat CS +3 more
europepmc +1 more source
M.: Functional programming languages for verification tools: Experiences with ML and Haskell
, 2001 We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML.
Perdita Stevens +7 more
core
Programming with global analysis
, 1997 Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.
Hermenegildo, Manuel V.
core
An intensional implementation technique for functional languages [PDF]
The potential of functional programming languages has not been widely accepted yet. The reason lies in the difficulties associated with their implementation.
Yaghi, Ali A. G.
core