Sciweavers

6343 search results - page 218 / 1269
» Development of a Cartographic Language
Sort
View
IIE
2007
120views more  IIE 2007»
15 years 6 months ago
Words are Silver, Mouse-Clicks are Gold? (or how to optimize the level of language formalization of young students in a Logo-bas
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
Evgenia Sendova, Toni Chehlarova, Pavel Boytchev
OOPSLA
2007
Springer
16 years 16 days ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
ICFP
2010
ACM
15 years 7 months ago
Using functional programming within an industrial product group: perspectives and perceptions
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
David Scott, Richard Sharp, Thomas Gazagnaire, Ani...
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 21 hour ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander
HOA
1993
15 years 10 months ago
The Semantics of SPECTRUM
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
Radu Grosu, Franz Regensburger