论文信息 - Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)

Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)

A rotary actuator comprise a stator defining a cylindrical space and formed with a pair of diametrically opposite main magnetic poles adapted to be magnetized to the same polarity, a pair of drive coils disposed on the main poles, a drive circuit for energizing the drive coils, and a rotor having a plurality of pairs of magnetized zones separated by non-magnetized zones, all disposed around the circumference of the rotor, adjacent magnetized zones being of opposite polarities.

Naoyuki Tamura | Yukio Kaneda

[1] Dale Miller,et al. Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[2] Michael Maher. Resource Management Method for a Compiler System of a Linear Logic Programming Language , 1996 .

[3] Paul Tarau,et al. User Guide , 2013, Andrology.

[4] Michael Winikoff,et al. Deterministic Resource Management for the Linear Logic Programming Language Lygon , 1994 .

[5] Hassan Aït-Kaci. Warren's Abstract Machine , 1991, ICLP.

[6] Patrick Lincoln,et al. Linear logic , 1992, SIGA.

[7] Dale Miller,et al. A multiple-conclusion meta-logic , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[8] Dale Miller,et al. Forum: A Multiple-Conclusion Specification Logic , 1996, Theor. Comput. Sci..

[9] Akinori Yonezawa,et al. ACL - A Concurrent Linear Logic Programming Paradigm , 1993, ILPS.

[10] James Harland,et al. A Uniform Proof-Theoretic Investigation of Linear Logic Programming , 1994, J. Log. Comput..

[11] Frank Pfenning,et al. Efficient Resource Management for Linear Logic Proof Search , 1996, ELP.