Sciweavers

1152 search results - page 22 / 231
» The Scratch Programming Language and Environment
Sort
View
ICFP
1999
ACM
15 years 1 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
CSUR
2004
144views more  CSUR 2004»
14 years 9 months ago
Advances in dataflow programming languages
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
Wesley M. Johnston, J. R. Paul Hanna, Richard J. M...
ENTCS
2008
102views more  ENTCS 2008»
14 years 9 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
74
Voted
CSMR
2005
IEEE
15 years 3 months ago
Towards the Automatic Evolution of Reengineering Tools
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
Massimiliano Di Penta, Kunal Taneja
CP
2007
Springer
15 years 3 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish