Sciweavers

6740 search results - page 184 / 1348
» Using Classification as a Programming Language
Sort
View
95
Voted
SIGADA
2004
Springer
15 years 7 months ago
Teaching graphics using Ada
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
C. Wayne Brown
CSMR
2005
IEEE
15 years 7 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ä
95
Voted
ICLP
1998
Springer
15 years 6 months ago
A Choice-Point Library for Backtrack Programming
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
Pierre-Etienne Moreau
AGP
2003
IEEE
15 years 7 months ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
132
Voted
ENTCS
2000
109views more  ENTCS 2000»
15 years 1 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff