FoundationDB: A Distributed Key-Value Store – Communications of the ACM
CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up FoundationDB is an open-source transactional key-value store created more than 10 years ago. It is one of the first systems to combine the flexibility and scalability of NoSQL architect
The End of Programming – Communications of the ACM
The end of classical computer science is coming, and most of us are dinosaurs waiting for the meteor to hit. I came of age in the 1980s, programming personal computers such as the Commodore VIC-20 and Apple ][e at home. Going on to study computer science (CS) in college and ultimately getting a Ph.D. at Berkeley, the bulk of my professional training was rooted in what I will call “classical” CS: p
Separation Logic
By Peter O'Hearn Communications of the ACM, February 2019, Vol. 62 No. 2, Pages 86-95 10.1145/3211968 Comments A fundamental technique in reasoning about programs is the use of logical assertions to describe properties of program states. Turing used assertions to argue about the correctness of a particular program in 1949,40 and they were incorporated into general formal systems for program provin
The Go Programming Language and Environment – Communications of the ACM
Go is a programming language created at Google in late 2007 and released as open source in November 2009. Since then, it has operated as a public project, with contributions from thousands of individuals and dozens of companies. Go has become a popular language for building cloud infrastructure: Docker, a Linux container manager, and Kubernetes, a container deployment system, are core cloud techno
Static Analysis at GitHub – Communications of the ACM
CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up GitHub, a code-hosting website built atop the Git version-control system, hosts hundreds of millions of repositories of code uploaded by more than 65 million developers. The Semantic Co
Safe Systems Programming in Rust – Communications of the ACM
Key InsightsRust is the first industry-supported programming language to overcome the longstanding trade-off between the safety guarantees of higher-level languages and the control over resource management provided by lower-level systems programming languages.It tackles this challenge using a strong type system based on the ideas of ownership and borrowing, which statically prohibits the mutation
A Look at the Design of Lua – Communications of the ACM
Lua is a scripting language developed at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio) that has come to be the leading scripting language for video games worldwide.3,7 It is also used extensively in embedded devices like set-top boxes and TVs and in other applications like Adobe Photoshop Lightroom and Wikipedia.14 Its first version was released in 1993. The current version, Lua 5
A Programmable Programming Language – Communications of the ACM
In the ideal world, software developers would analyze each problem in the language of its domain and then articulate solutions in matching terms. They could thus easily communicate with domain experts and separate problem-specific ideas from the details of general-purpose languages and specific program design decisions. Back to Top Key InsightsLanguage-oriented programming is an emerging software-
Programming the Quantum Future – Communications of the ACM
The earliest computers, like the ENIAC, were rare and heroically difficult to program. That difficulty stemmed from the requirement that algorithms be expressed in a “vocabulary” suited to the particular hardware available, ranging from function tables for the ENIAC to more conventional arithmetic and movement operations on later machines. Introduction of symbolic programming languages, exemplifie
Python Is Now the Most Popular Introductory Teaching Language at Top U.S. Universities
Here are the edits made to this table after its initial publication on 2014-07-07, thanks to reader-submitted corrections: Added Columbia ENGI E1006 (Python), since a current student emailed me about it. Here's an excerpt: "Very few people are required to take the Matlab course [1005] (mostly just a few specific engineering majors), whereas all CS majors, and all engineers in general have to take
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software – Communications of the ACM
Program Verification – Communications of the ACM
Formally Verified Software in the Real World
French Team Invents Faster Code-Breaking Algorithm
Exact Exponential Algorithms – Communications of the ACM