Sciweavers

1776 search results - page 39 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
VL
2003
IEEE
169views Visual Languages» more  VL 2003»
14 years 2 months ago
Additional context for gentle-slope systems
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
Yasunori Harada, Richard Potter
DAGSTUHL
2006
13 years 10 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
PADL
2000
Springer
14 years 11 days ago
A Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
Michael Hanus
PPDP
2001
Springer
14 years 1 months ago
Constructor-Based Conditional Narrowing
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
Sergio Antoy
PPDP
2005
Springer
14 years 2 months ago
A new calculus of contexts
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
Murdoch Gabbay