Sciweavers

2625 search results - page 249 / 525
» The development of the Emerald programming language
Sort
View
LPAR
1999
Springer
15 years 11 months ago
A Partial Evaluation Framework for Curry Programs
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
Elvira Albert, María Alpuente, Michael Hanu...
ENTCS
2007
114views more  ENTCS 2007»
15 years 6 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
ADAEUROPE
2009
Springer
16 years 1 months ago
An Experience on Ada Programming Using On-Line Judging
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
Francisco J. Montoya-Dato, José Luis Fern&a...
VLDB
1991
ACM
128views Database» more  VLDB 1991»
15 years 10 months ago
A Functional Programming Approach to Deductive Databases
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
Alexandra Poulovassilis, Carol Small
CORR
2006
Springer
80views Education» more  CORR 2006»
15 years 6 months ago
Mental Representations Constructed by Experts and Novices in Object-Oriented Program Comprehension
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
Jean-Marie Burkhardt, Françoise Déti...