Search Sciweavers | Sciweavers

153 search results - page 4 / 31

» entcs 2002

click to vote

ENTCS
2002

98views more ENTCS 2002»

Building Interpreters with Rewriting Strategies

14 years 12 months ago

Download www.cs.uu.nl

Eelco Dolstra, Eelco Visser

claim paper

Read More »

click to vote

ENTCS
2002

54views more ENTCS 2002»

An Open Visualization Framework for Metamodel-Based Modeling Languages

14 years 12 months ago

Download tfs.cs.tu-berlin.de

Péter Domokos, Dániel Varró

claim paper

Read More »

click to vote

ENTCS
2002

73views more ENTCS 2002»

A Conference Reviewing System in Mobile Maude

14 years 12 months ago

Download maude.sip.ucm.es

Francisco Durán, Alberto Verdejo

claim paper

Read More »

click to vote

ENTCS
2002

48views more ENTCS 2002»

Requirements, specifications, and minimal refinement

14 years 12 months ago

Download www.cs.bham.ac.uk

Nikos Gorogiannis, Mark Ryan

claim paper

Read More »

Voted

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers