Results 11 to 20 of about 74,863 (264)
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages [PDF]
Programming Languages and Systems30th European Symposium on Programming, 2021 Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic programming languages (PPLs) employ different inference algorithms, such as ...
Lundén D, Borgström J, Broman D.
europepmc +2 more sources
Communications of the ACM, 1979 As computer technology matures, our growing ability to create large systems is leading to basic changes in the nature of programming. Current programming language concepts will not be adequate for building and maintaining systems of the complexity called
Terry Winograd
exaly +1 more source
An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages [PDF]
PLoS ONE, 2014 Muhammad Shoaib Farooq +2 more
exaly +2 more sources
Programming Languages and Systems [PDF]
, 2021 This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
core +1 more source
Programming Languages and Systems [PDF]
, 2020 This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software ...
core +1 more source
Functional programming languages for verification tools: a comparison of Standard ML and Haskell [PDF]
, 2005 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.
Weber, Michael +3 more
core +1 more source
The programming language pascal [PDF]
Acta Informatica, 1971 A programming language called Pascal is described which was developed on the basis ofAlgol 60. Compared toAlgol 60, its range of applicability is considerably increased due to a variety of data structuring facilities. In view of its intended usage both as a convenient basis to teach programming and as an efficient tool to write large programs, emphasis
openaire +2 more sources
A graph rewriting programming language for graph drawing [PDF]
, 1998 This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process.
Rodgers, Peter
core +1 more source
Lazy Evaluation of Functional Programming Languages [PDF]
, 2016 Lazy evaluation is an evaluation strategy in programming languages. Lazy evaluation delays the evaluation of an expression until its value is needed. With lazy evaluation, there are some advantages.
高野, 保真, TAKANO, Yasunao
core +1 more source
The Programming Language BPL [PDF]
The Computer Journal, 1982 BPL is a programming language which was developed from the two languages BASIC and Pascal. The chief aim in designing BPL was to create a language as simple to use as BASIC with the additional data types and control structures which make Pascal attractive to use. It is intended in the first instance as a language to teach programming but it can be used
openaire +1 more source