Sciweavers

4719 search results - page 417 / 944
» Spreadsheet functional programming
Sort
View
ERSHOV
1989
Springer
15 years 10 months ago
Experiments with Implementations of Two Theoretical Constructions
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper La...
ICFP
2010
ACM
15 years 7 months ago
TeachScheme!: a checkpoint
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
Matthias Felleisen
218
Voted
CORR
2002
Springer
114views Education» more  CORR 2002»
15 years 6 months ago
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
Michael Leuschel, Jesper Jørgensen, Wim Van...
KBSE
2009
IEEE
16 years 1 months ago
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Tese...
SEMWEB
2009
Springer
16 years 1 months ago
The OWL API: A Java API for Working with OWL 2 Ontologies
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speci...
Matthew Horridge, Sean Bechhofer