10575 search results - page 356 / 2115 » T2Script Programming Language |
151
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
140
click to vote
APLAS
2004
ACM
15 years 10 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 efficiently. The design choices however e...
151
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
149
click to vote
TOPLAS
1998
15 years 4 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
162
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...