11909 search results - page 249 / 2382 » The Scheme Programming Language |
156
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...
152
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
156
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...
312
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
180
click to vote
VL
2006
IEEE
16 years 18 days ago
2006
IEEE
Visula is a general-purpose object-oriented visual programming language (VPL). The language uses a new approach, by basing its notation upon UML sequence diagrams, instead of trad...