Sciweavers

956 search results - page 88 / 192
» Languages as libraries
Sort
View
226
Voted
WCFLP
2005
ACM
15 years 10 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
140
Voted
VISUAL
1999
Springer
15 years 9 months ago
General Image Database Model
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
Peter L. Stanchev
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
15 years 11 months ago
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
ICFP
2005
ACM
16 years 5 months ago
Scrap your nameplate: (functional pearl)
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
James Cheney
CSMR
2005
IEEE
15 years 10 months ago
Maintenance and Analysis of Visual Programs -- An Industrial Case
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
Mika Karaila, Tarja Systä