3 Hits in 9.0 sec

Automating Abstract Interpretation of Abstract Machines [article]

James Ian Johnson
2015 arXiv   pre-print
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

Eamonn Patrick Bell
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

Christopher George Vowles
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