Sciweavers

3516 search results - page 190 / 704
» Programming Languages: Application and Interpretation
Sort
View
SAC
2009
ACM
16 years 28 days ago
A practical solution for scripting language compilers
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...
Paul Biggar, Edsko de Vries, David Gregg
APDC
1997
15 years 7 months ago
Language Support for Synchronous Parallel Critical Sections
We introduce a new parallel programming paradigm, namely synchronous parallel critical sections. Such parallel critical sections must be seen in the context of switching between s...
Christoph W. Keßler, Helmut Seidl
165
Voted
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 11 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
SIGSOFT
1996
ACM
15 years 10 months ago
Abstracting Dependencies between Software Configuration Items
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
Carl A. Gunter
192
Voted
ESOP
2008
Springer
15 years 8 months ago
Ranking Abstractions
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly ...