Search Sciweavers | Sciweavers

152 search results - page 2 / 31

» Towards a specification of the ToonTalk language

click to vote

EUROPLOP
2006

160views Programming Languages» more EUROPLOP 2006»

Meta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models

13 years 7 months ago

Download www26.brinkster.com

Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...

León Welicki, Juan Manuel Cueva Lovelle, Lu...

claim paper

Read More »

click to vote

LISP
2002

105views more LISP 2002»

Specification Diagrams for Actor Systems

13 years 5 months ago

Download www.cs.jhu.edu

Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...

Scott F. Smith, Carolyn L. Talcott

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

151views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

13 years 9 months ago

Download www.brics.dk

Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme

Olivier Danvy

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

13 years 9 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »