Two Decades of Maude

This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing the origins and the language's main features, we present the latest additions to the language and some features currently under development. This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Associative learning and perceptual style: Are associated events perceived analytically or as a whole? \ud \ud

The present study examined whether the formation of associations is affected by individual differences in perceptual style (analytic vs. holistic). Ninety undergraduate students were tested on their ability to associate concurrent events (i.e. word—colour) and were assessed on measures of field dependence and intelligence. The analysis revealed that analytic perceptual style (field independence) was associated with better performance on associative learning, and that this relationship was retained after controlling for differences in intelligence, age, and gender. The obtained results lent support to elemental theories of associative learning suggesting that concurrent stimuli tend to be perceived as separate units.\u