Author of the publication

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.

, and . Fuji International Symposium on Functional and Logic Programming, page 247-270. World Scientific, Singapore, (1998)

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

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages., and . Fuji International Symposium on Functional and Logic Programming, page 247-270. World Scientific, Singapore, (1998)Principles of Inverse Computation in a Functional Language., and . APLAS, page 141-152. (2000)Combining Semantics with Non-standard Interpreter Hierarchies., and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 201-213. Springer, (2000)The Universal Resolving Algorithm: Inverse Computation in a Functional Language., and . MPC, volume 1837 of Lecture Notes in Computer Science, page 187-212. Springer, (2000)From Standard to Non-Standard Semantics by Semantics Modifiers., and . Int. J. Found. Comput. Sci., 12 (2): 171-211 (2001)An Universal Resolving Algorithm for Inverse Computation of Lazy Languages., , and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 27-40. Springer, (2006)Principles of Inverse Computation and the Universal Resolving Algorithm., and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 269-295. Springer, (2002)The universal resolving algorithm and its correctness: inverse computation in a functional language., and . Sci. Comput. Program., 43 (2-3): 193-229 (2002)