Gamma är ett kärnspråk där program beskrivs i termer av multiset transformationer efter den kemiska reaktionsmetaforen. Tidigare arbete har visat sin signi cance för byggandet av massivt parallella program men också belyst vissa begränsningar. Vi inför en högre ordningsförlängning av denna formalism som förenar program- och datasyntaktikkategorierna. Som en följd av detta kan aktiva program infogas i multiset. Denna generalisering har långtgående effekter och vi visar dess relevans ur både formell och praktisk synvinkel. I synnerhet presenterar vi ett program de ning den kemiska abstrakta maskinen i högre ordning Gamma. Vi visar att mer sofistikerade kontrollstrategier kan uttryckas inom språket och vi omsätta dem i praktiken genom att härleda en skanning vektor modell program som lämpar sig för utförande på ne-grained parallella maskiner.
En första förlängning av Gamma har föreslagits i REF.
Higher-Order Multiset Programming
{'venue': 'in Proc. of the DIMACS workshop on specifications of parallel algorithms, American Mathematical Society, Dimacs series in Discrete Mathematics', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}