Sciweavers

10585 search results - page 590 / 2117
» The Orc Programming Language
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Solution Strategies for Multi-domain Constraint Logic Programs
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk ...
ENTCS
2008
119views more  ENTCS 2008»
15 years 7 months ago
An Example of Cloning Graph Transformation Rules for Programming
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
Mark Minas, Berthold Hoffmann
POPL
2007
ACM
16 years 7 months ago
Assessing security threats of looping constructs
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
Pasquale Malacaria
VL
2007
IEEE
122views Visual Languages» more  VL 2007»
16 years 1 months ago
Children as Unwitting End-User Programmers
Children who are active on the internet are performing significant design and programming activity without realising it, in the course of hacking little animations, game scripts a...
Marian Petre, Alan F. Blackwell
VL
2006
IEEE
170views Visual Languages» more  VL 2006»
16 years 1 months ago
A Lightweight Model for End Users' Domain-Specific Data
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
Christopher Scaffidi