Sciweavers

1675 search results - page 20 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
FP
1992
87views Formal Methods» more  FP 1992»
13 years 11 months ago
On Program Transformation in the Glasgow Haskell Compiler
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
André Santos, Simon L. Peyton Jones
SIGCSE
2010
ACM
182views Education» more  SIGCSE 2010»
14 years 2 months ago
Frances: a tool for understanding code generation
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
ELP
1991
13 years 11 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
CICLING
2006
Springer
13 years 11 months ago
NLP (Natural Language Processing) for NLP (Natural Language Programming)
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
Rada Mihalcea, Hugo Liu, Henry Lieberman
SIGPLAN
2008
13 years 7 months ago
An aspect-oriented approach to the undergraduate programming language curriculum
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
Mark A. Sheldon, Franklyn A. Turbak