( en | de | ru )

 

Disambiguierung von "Musser, David R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
User-Extensible Simplification - Type-Based Optimizer Generators.

, , , und . CC, Volume 2027 von Lecture Notes in Computer Science, Seite 86-101. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David R Anderson

Ricarda Musser

David R Wenger

David A R Forrester

Erich David

 

Weitere Publikationen von Autoren mit dem selben Namen

Semi-Unification., , , und . Theor. Comput. Sci., 81 (2): 169-187 (1991)The Design of Data Type Specifications., , und . ICSE, Seite 414-420. IEEE Computer Society, (1976)Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications., und . ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 132-143. Springer, (2002)Structured reasoning about actor systems., und . AGERE!@SPLASH, Seite 37-48. ACM, (2013)A generalized class of polynomials that are hard to factor., , und . SYMSACC, Seite 188-194. ACM, (1981)Operators and algebraic structures., , und . FPCA, Seite 59-64. ACM, (1981)Complete Traversals as General Iteration Patterns., , und . Generic Programming, Volume 243 von IFIP Conference Proceedings, Seite 187-206. Kluwer, (2002)Code-carrying theory., und . SAC, Seite 376-383. ACM, (2008)Reasoning about three dimensional space., , , und . ICRA, Seite 405-410. IEEE, (1985)The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs., und . CADE, Volume 87 von Lecture Notes in Computer Science, Seite 220-231. Springer, (1980)