( en | de | ru )

 

Disambiguierung von "de Moor, Oege"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inductive Data Types for Predicate Transformers.

. Inf. Process. Lett., 43 (3): 113-117 (1992)

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.

Beat Moor

Ernst Moor

Marion Moor

Constantin Moor

Thomas Moor

 

Weitere Publikationen von Autoren mit dem selben Namen

The Algebra of Programming, und . Prentice Hall, (September 1997)Refactoring Tools, , , , , , und . (2008)Generic Program Transformation., und . Advanced Functional Programming, Volume 1608 von Lecture Notes in Computer Science, Seite 116-149. Springer, (1998)More Haste, Less Speed: Lazy Versus Eager Evaluation., , und . J. Funct. Program., 7 (5): 541-547 (1997)From Dynamic Programming to Greedy Algorithms., und . Formal Program Development, Volume 755 von Lecture Notes in Computer Science, Seite 43-61. Springer, (1993)An Algebraic Construction of Predicate Transformers., , und . MPC, Volume 669 von Lecture Notes in Computer Science, Seite 100-121. Springer, (1992)Tracking Static Analysis Violations over Time to Capture Developer Characteristics., , , , , , , und . ICSE (1), Seite 437-447. IEEE Computer Society, (2015)Inductive Data Types for Predicate Transformers.. Inf. Process. Lett., 43 (3): 113-117 (1992)Type inference for datalog with complex type hierarchies., und . POPL, Seite 145-156. ACM, (2010)The algebra of programming., und . NATO ASI DPD, Seite 167-203. (1996)