| |
Browse All Reviews > Software (D) > Programming Techniques (D.1) > General (D.1.0)
|
|
 |
|
|
| |
|
|
| |
1-10 of 146
Reviews about "General (D.1.0)":
|
Date Reviewed |
| |
The end of programming
Welsh M. Communications of the ACM 66(1): 34-35, 2023. Type: Article
Welsh’s article explores how artificial intelligence (AI) developments may redefine the landscape of the field of software development and make traditional coding methodologies obsolete. Readers should find it interesting, as it forecasts th...
|
Oct 31 2024 |
| |
Programming-based formal languages and automata theory: design, implement, validate, and prove
Morazan M., Springer International Publishing, Cham, Switzerland, 2023. 524 pp. Type: Book (9783031439728)
This rather difficult read introduces the programming language FSM and the programming platform DrRacket. The author asserts that it is a convenient platform to design and prove an automata-based software artifact. The 500-plus-page volume is divi...
|
Oct 24 2024 |
| |
On the model of computation: counterpoint: parallel programming wall and multicore software spiral: denial hence crisis
Vishkin U. Communications of the ACM 65(9): 32-34, 2022. Type: Article
Vishkin’s counterpoint to Dally [1] talks about what the model of computation should now be in light of multicore processors (and their programming difficulties) and parallel processing. His view recommends a new model of computation, other ...
|
Jan 24 2023 |
| |
On the model of computation: point: we must extend our model of computation to account for cost and location
Dally W. Communications of the ACM 65(9): 30-32, 2022. Type: Article
The model of any process demonstrates its functionality and is useful for its study and analysis. For example, the Turing machine is a model for computation. However, the random-access machine (RAM) model is close to the architecture of serial pro...
|
Jan 23 2023 |
| |
Foundations of probabilistic programming
Barthe G., Katoen J., Silva A., Cambridge University Press, Cambridge, UK, 2021. 582 pp. Type: Book (978-1-108488-51-8)
This book covers various programming languages for probabilistic programming. The languages are described using syntax, semantics, and examples. It also looks at the theories related to the semantics of probability constructs and discu...
|
Oct 18 2021 |
| |
iMapReduce: a distributed computing framework for iterative computation
Zhang Y., Gao Q., Gao L., Wang C. Journal of Grid Computing 10(1): 47-68, 2020. Type: Article
MapReduce is one of the most popular standard algorithms in distributed processing. This paper contributes to performance improvement in MapReduce, which otherwise performs low on social networking and web-based data due to iterative p...
|
Sep 28 2021 |
| |
Soft computing: techniques in engineering science
Ram M., Singh S., DE GRUYTER, Berlin, Germany, 2020. 230 pp. Type: Book (978-3-110625-60-8)
Soft computing is that part of computational science that is applied to problems characterized by uncertainty and imprecision. The techniques of soft computing include fuzzy sets, numbers, and logic; neural networks; and genetic progra...
|
Apr 22 2021 |
| |
Search-based program synthesis
Alur R., Singh R., Fisman D., Solar-Lezama A. Communications of the ACM 61(12): 84-93, 2018. Type: Article
Program synthesis aims at the automatic generation of “an executable implementation ... from a high-level logical specification of the desired input-to-output behavior.” The review article concentrates on syntax-gui...
|
Mar 19 2019 |
| |
 Guide to competitive programming: learning and improving algorithms through contests
Laaksonen A., Springer International Publishing, New York, NY, 2017. 283 pp. Type: Book (978-3-319725-46-8)
Competitive programming is not new, but is now widely available through different online competitions. As Laaksonen notes, competitive programming provides opportunities for practice and helps to bridge the gap between theory and pract...
|
Oct 30 2018 |
| |
Nim in action
Picheta D., Manning Publications Co., Shelter Island, NY, 2017. 320 pp. Type: Book (978-1-617293-43-6)
Among the newer programming languages, Nim has managed to distinguish itself on its own merits without any corporate support. Andreas Rumpf released the first Nim compiler written in Nim (then known as Nimrod) in 2008. Nim is open sour...
|
Jul 16 2018 |
| |
|
|
| |
|
|
