( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract).

, , и . MFPS, том 298 из Lecture Notes in Computer Science, стр. 386-413. Springer, (1987)

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.

Harald Bertram

Moderne kathetergesteuerte Diagnostik und Therapie kongenitaler kardiovaskulärer Anomalien. MedH Hannover, habilitation, (2009)

Harald Schelcher

Harald Quidde

Harald Siemenroth

Harald Verschuer

 

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

Un-Kleene Boolean equation Solving., , и . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)Bottom-up Abstract Interpretation of Logic Programs., и . ICLP/SLP, стр. 733-748. MIT Press, (1988)Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs., , , и . SAS, том 1145 из Lecture Notes in Computer Science, стр. 385-386. Springer, (1996)On prolog and the occur check problem., и . ACM SIGPLAN Notices, 24 (5): 76-82 (1989)Making Connections: First Year Transition for Computer Science and Software Engineering Students., , , и . ACE, том 42 из CRPIT, стр. 229-238. Australian Computer Society, (2005)Transformation-Enabled Precondition Inference., , , , и . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Binary Decision Diagrams for Affine Approximation, , , и . CoRR, (2008)A strategy for managing content complexity in algorithm animation., , и . ITiCSE, стр. 127-130. ACM, (1999)Programming to Learn: Logic and Computation from a Programming Perspective., , и . ITiCSE (1), стр. 311-317. ACM, (2022)Compositional Symbolic Execution Using Fine-Grained Summaries., , и . ASWEC, стр. 213-222. IEEE Computer Society, (2015)