2860 search results - page 23 / 572 » The Greenfoot Programming Environment |
DEXAW
1998
IEEE
15 years 4 months ago
1998
IEEE
Within a database mobile environment, cached data on mobile clients can take the form of materialized views. In order to e ciently maintain such materialized views while taking in...
113
click to vote
LISP
2008
14 years 11 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
COMSIS
2010
14 years 9 months ago
2010
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...