Search Sciweavers | Sciweavers

9455 search results - page 46 / 1891

» The Modelling Language Zinc

154

Voted

POPL
1997
ACM

128views Programming Languages» more POPL 1997»

A Unified Computation Model for Functional and Logic Programming

15 years 7 months ago

Download www.informatik.uni-kiel.de

We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...

Michael Hanus

claim paper

Read More »

131

Voted

UML
2005
Springer

136views Natural Language Processing» more UML 2005»

Transforming Models with ATL

15 years 9 months ago

Download sosym.dcs.kcl.ac.uk

This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...

Frédéric Jouault, Ivan Kurtev

claim paper

Read More »

click to vote

MODELS
2007
Springer

108views Natural Language Processing» more MODELS 2007»

Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications

15 years 10 months ago

Download www.medien.ifi.lmu.de

Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann

claim paper

Read More »