6960 search results - page 681 / 1392 » Continuity Analysis of Programs |
218
click to vote
APLAS
2004
ACM
16 years 27 days 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ļ...
213
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
This paper presents the design of G, a new language speciļ¬cally created for generic programming. We review and identify important language features of C++ and Haskell in light o...
203
click to vote
PLDI
2003
ACM
16 years 21 days 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...
196
click to vote
ECOOP
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
216
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Previously, we developed a type system to ensure secure information ļ¬ow in a sequential, imperative programming language [VSI96]. Program variables are classiļ¬ed as either hig...