Sciweavers

245 search results - page 2 / 49
» Scripting the type inference process
Sort
View
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 5 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
POPL
2008
ACM
14 years 5 months ago
The design and implementation of typed scheme
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
Sam Tobin-Hochstadt, Matthias Felleisen
ECOOP
2010
Springer
13 years 10 months ago
Recency Types for Analyzing Scripting Languages
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...
Phillip Heidegger, Peter Thiemann
SAC
2009
ACM
14 years 1 days ago
Static type inference for Ruby
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
Michael Furr, Jong-hoon (David) An, Jeffrey S. Fos...
SAINT
2003
IEEE
13 years 10 months ago
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony
The Call Processing Language (CPL in short, RFC2824) is an XML-based language, which provides a flexible mean to create end-user services in the Internet Telephony (VoIP). Howeve...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...