10575 search results - page 420 / 2115 » Programming Languages |
538
click to vote
Book
"A compiler translates (or compiles) a program written in a highlevel
programming language that is suitable for human programmers into
the low-level machine language that is...
198
click to vote
PLDI
2004
ACM
16 years 6 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
196
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
124
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since
190
click to vote
FM
2003
Springer
16 years 14 hour ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...