6274 search results - page 226 / 1255 » Proofs, Programs, Processes |
248
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
168
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
180
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
168
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
d Abstract) Bruno Blanchetā Ā§ Patrick CousotĀ§ Radhia CousotāĀ¶ JĀ“erĖome FeretĀ§ Laurent MauborgneĀ§ Antoine MinĀ“eĀ§ David MonniauxāĀ§ Xavier RivalĀ§ that abstract inter...