A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Automating Abstract Interpretation of Abstract Machines
[article]
2015
arXiv
pre-print
Preserved Fulltext
In the pragmatic realm, I show that the systematic process of abstracting abstract machines is automatable. ...
The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. ...
In Jens Palsberg and Martín
Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages, POPL 2005,
Long Beach, California, USA, January 12-14, 2005, ...
arXiv:1504.08033v1
fatcat:qoppf36sxfhpto7avqoeebauda
The Computational Attitude in Music Theory
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It may be manifest in actual computer use, or in invocations of computationalism, a theory of mind whose influence on twentieth-century music theory is palpable. ...
In Chapter 1, I describe this attitude, the stakes for considering the computer as one of its instruments, and the kinds of historical sources and methodologies we might draw on to chart its ascendance ...
Rogers, "Claude Shannon's Cryptography Research During World War II and the Mathematical Theory of Communication," in Proceedings of the 28th International Carnahan Conference on Security Technology (Albuquerque ...
doi:10.7916/d8-yfr2-k514
fatcat:hbfr2ld4krhyzawqydvujizelq
The Little Become Big?: Ambit and London's Little Magazines, 1959-1999
2006
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
in the Sixties, Arts Council (ACGB) rationalisation in the Seventies and Eighties, and electronic publishing in the Nineties. ...
In The Little Magazines: A Study of Six Editors (1976), Ian Hamilton described the little magazine as a medium 'which exists, indeed thrives, outside the usual business structure of magazine production ...
We wonder how, in the present paper shortage, you can justify printing these so-called 'poems' . We would be most interested in hearing your comments and reasons for doing so. ...
doi:10.25602/gold.00028760
fatcat:64ijtwd76na4ldwol32gajtfey