Author of the publication

A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.

, , and . ACM Trans. Softw. Eng. Methodol., 1 (3): 310-354 (1992)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Why is 1 + 1 = 2 ?. J. Inf. Sci. Eng., 18 (3): 281-310 (2002)A Brouwerian Model of the Run-Time Memory.. J. Inf. Sci. Eng., 31 (6): 2103-2124 (2015)A Lattice Framework for Analyzing Context-Free Languages with Applications in Parser Simplification and Data-Flow Analysis.. J. Inf. Sci. Eng., 15 (2): 287-306 (1999)Minimizing LR(1) State Machines is NP-Hard.. CoRR, (2021)Translating the ARM Neon and VFP instructions in a binary translator., , , and . Softw. Pract. Exp., 46 (12): 1591-1615 (2016)Efficient Message Flooding on DHT Network., and . HPCC, volume 3726 of Lecture Notes in Computer Science, page 440-454. Springer, (2005)Heap Garbage Collection with Reference Counting., , and . ICSOFT (2), page 267-270. SciTePress, (2010)An Improved Dynamic User Authentication Scheme for Wireless Sensor Networks., , and . GLOBECOM, page 986-990. IEEE, (2007)DDoS Detection and Traceback with Decision Tree and Grey Relational Analysis., , , and . MUE, page 306-314. IEEE Computer Society, (2009)LLBT: an LLVM-based static binary translator., , , and . CASES, page 51-60. ACM, (2012)