Results 131 to 140 of about 8,272 (178)

Proceedings of the second stratego users day

open access: yes, 2001
Stratego and the underlying system S are as yet untyped. We propose a type system which covers the essence of system 5. In addition to system 5, a generic traversal primitive for folding the children of a term is considered. This primitive is essential for type-changing traversal strategies.
openaire   +1 more source

Home - About - Disclaimer - Privacy