Back to Results
First PageMeta Content
Programming language semantics / Action semantics / Formal languages / Peter Mosses / Programming language / SYNTAX / ASF+SDF Meta Environment / Programming language theory / Theoretical computer science / Software engineering


BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2007-01-15 18:51:53

Open Document

File Size: 1,11 MB

Share Result on Facebook

City

Amsterdam / /

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Denmark Formalisms / University of Aarhus / Computer Science University of Aarhus IT-parken / /

IndustryTerm

type inference algorithm / /

Organization

Faculty of Science / BRICS Department / University of Aarhus / Computer Science University of Aarhus IT-parken / Computer Science University / Iversen PhD Dissertation Department / /

Person

Jan Midtgaard / Fabricio Chalub / Hayco de Jong / Paul Klint / Peter D. Mosses / Jurgen Vinju / /

/

Position

supervisor / action interpreter / /

ProgrammingLanguage

Standard ML / /

RadioStation

Watt / /

Technology

type inference algorithm / /

URL

ftp /

SocialTag