Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Koike, Hidekatsu"'
Publikováno v:
In Electronic Notes in Theoretical Computer Science November 2001 59(4):255-270
Publikováno v:
International Journal of Innovative Computing, Information and Control. 9(11):4419-4430
Equivalent Transformation (ET) rules can be used to construct correct se- quential and parallel programs, as they are inherently correct. One important method for making ET rules uses logical formulas. Among logical formulas, unsatis able con- juncti
Publikováno v:
International Journal of Innovative Computing, Information and Control. 9(6):2635-2650
To propose methods for making Equivalent Transformation (ET) rules is important for generating correct and sufficiently efficient programs from a specification which is a set of logical formulas. An ET rule is a procedure for replacing a clause set w
Publikováno v:
数理解析研究所講究録. 1125:150-161
Publikováno v:
数理解析研究所講究録. 1125:44-58
Publikováno v:
Proceedings of the 35th Annual ACM SIGUCCS Fall Conference; 10/ 7/2007, p190-193, 4p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Virbitskaite, Irina, Voronkov, Andrei, Akama, Kiyoshi, Nantajeewarawat, Ekawit, Koike, Hidekatsu
Publikováno v:
Perspectives of Systems Informatics; 2007, p41-54, 14p
Publikováno v:
Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services; 11/6/2005, p147-150, 4p