( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transforming Programs into Recursive Functions.

, и . SBMF, том 240 из Electronic Notes in Theoretical Computer Science, стр. 185-200. Elsevier, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

C J Schumacher

J C Kämmer

Michael Gordon

Michael Gordon

Michael Gordon

 

Другие публикации лиц с тем же именем

Programming Combinations of Deduction and BDD-based Symbolic Calculation.. LMS J. Comput. Math., (2002)PuzzleTool : An Example of Programming Computation and Deduction.. TPHOLs, том 2410 из Lecture Notes in Computer Science, стр. 214-229. Springer, (2002)A Verifier and Timing Analyser for Simple Imperative Programs (Abstract).. CAV, том 697 из Lecture Notes in Computer Science, стр. 320. Springer, (1993)Hoare Logic for ARM Machine Code., , и . FSEN, том 4767 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2007)Z and HOL., и . Z User Workshop, стр. 141-167. Springer/BCS, (1994)Validating the PSL/Sugar Semantics Using Automated Reasoning.. Formal Aspects Comput., 15 (4): 406-421 (2003)Reachability Programming in HOL98 Using BDDs.. TPHOLs, том 1869 из Lecture Notes in Computer Science, стр. 179-196. Springer, (2000)Introduction to the HOL System.. TPHOLs, стр. 2-3. IEEE Computer Society, (1991)Edinburgh LCF, , и . Lecture Notes in Computer Science Springer, (1979)Specification and Verification of ARM Hardware and Software., , и . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)