Sciweavers

12452 search results - page 4 / 2491
» An exploration of program as language
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
14 years 3 days ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
BNCOD
2004
106views Database» more  BNCOD 2004»
14 years 5 days ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
ERSHOV
2001
Springer
14 years 3 months ago
Exploring Template Template Parameters
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
Roland Weiss, Volker Simonis
VL
2009
IEEE
128views Visual Languages» more  VL 2009»
14 years 5 months ago
Language-based support for computational thinking
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...
Katherine Howland, Judith Good, Keiron Nicholson
JLP
2007
81views more  JLP 2007»
13 years 10 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio