Concepedia

Michael Sperber

MS

17

Publications

631

Citations

12

H-Index

1972

Active since

Affiliations

University of Tübingen(Current)

University of Freiburg

Michael Sperber is an author at University of Tübingen specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsAutomated ReasoningComputer EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationProgramming Languages

Publications per year

1972–2014

17

Publications

17

Revised<sup>6</sup> Report on the Algorithmic Language Scheme

Michael Sperber, R. Kent Dybvig, Matthew Flatt et al. · Journal of Functional Programming · 2009 · 325 citations · Full text

Pay for Play: A History of Big-Time College Athletic Reform

Michael Sperber · Journal of American History · 2011 · 33 citations

Public Policy, Popular Culture, Performance Studies +12

Two for the price of one

Michael Sperber, Peter Thiemann · 1997 · 31 citations · Full text

Engineering, Compiler Technology, Software Engineering +17

Final shift for call/cc:

Martin Gasbichler, Michael Sperber · 2002 · 29 citations

Engineering, Typical Applications, Compiler Technology +18

Functional logic overloading

Matthias Neubauer, Peter Thiemann, Martin Gasbichler et al. · 2002 · 26 citations

Computational Logic, Engineering, Functional Logic Overloading +13

Rows per page

1–5 of 17