Sciweavers

5377 search results - page 101 / 1076
» Programming Languages For Interactive Computing
Sort
View

Lab
597views
15 years 9 months ago
Programming Languages Team (PLT)
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
ECOOPW
2004
Springer
14 years 2 months ago
Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
Olaf Spinczyk, Michael Schoettner, Andreas Gal
ACMSE
2009
ACM
14 years 15 days ago
Using computer graphics to explore object oriented concepts using C
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
William C. Kreahling
ASM
2005
ASM
14 years 2 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
ICFP
2010
ACM
13 years 9 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat