Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

FASE
1998
Springer

favoriteEmaildiscussreport

95views Software Engineering» more FASE 1998»

Reflections on the Design of a Specification language

13 years 8 months ago

Reflections on the Design of a Specification language

Download homepages.inf.ed.ac.uk

We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development of Standard ML programs. Our aim is to isolate problems and issues that are intrinsic to the general enterprise of designing a specification language for use with a given programming language. Consequently the lessons learned go far beyond our original aim of designing a specification language for ML.

Stefan Kahrs, Donald Sannella

Real-time Traffic

Extended ML | FASE 1998 | Software Engineering | Specification Language | Standard ML Programs |

claim paper

Related Content

» A reflective functional language for hardware design and theorem proving

» jContractor A Reflective Java Library to Support Design by Contract

» Constructing domainspecific design tools with a visual language metatool

» The Application of CompileTime Reflection to Software Fault Tolerance Using Ada 95

» A computational reflection mechanism to support platform debugging in SystemC

» Designing and Evaluating Interaction as Conversation A Modeling Language Based on Semiotic...

» Conversation specification a new approach to design and analysis of eservice composition

» Requirements reflection requirements as runtime entities

» Design and Partial Evaluation of MetaObjects for a Concurrent Reflective Language

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	FASE
Authors	Stefan Kahrs, Donald Sannella

Comments (0)