doi:[removed]j.entcs[removed]

First Page		Document Content
Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory		doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Download Document from Source Website File Size: 353,00 KB Share Document on Facebook

	1 of 1 Rural-Urban Migration and Migrant Workers Sarah Maude Statistics - estimates DocID: 1qXZJ - View Document
	1 of 7 Urbanisation and Urban Development Sarah Maude The biggest construction boom ever seen DocID: 1qDIA - View Document
	Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude Roberto Bruni, Andrea Corradini, Fabio Gadducci Dipartimento di Informatica, Universit` a di Pisa, Italy { bruni,andrea,gadducci}@ di. unipi. it DocID: 13WBE - View Document
	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te DocID: 11dKx - View Document
	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo DocID: 10RUQ - View Document