Sciweavers

2977 search results - page 225 / 596
» Programming Environments for Novices
Sort
View
KBSE
1997
IEEE
15 years 10 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
LICS
1993
IEEE
15 years 10 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes
ALP
1990
Springer
15 years 10 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
HOPL
2007
15 years 10 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
CGVR
2008
15 years 8 months ago
Generating Smooth Virtual Reality Maps Using 3D Building Blocks
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
Bradley J. Wimpey, Walter D. Potter