As a value flows across the boundary between interoperating languages, it must be checked
and converted to fit the types and representations of the target language. For simple forms of …

We describe an s-expression based syntax-extension framework much like Scheme macros,
with a key additional facility: the ability to define static semantics, such as type systems or …

In this article, WSDL Understanding Degree (WSDLUD) a metric aimed at measuring a priori
the understandability of WSDL (Web Services Description Language) descriptions is …

Integrating static and dynamic ty** into a single programming language enables
programmers to choose which discipline to use in each code region. Different approaches …

ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common
Lisp's unhygienic macros, which are used pervasively to eliminate repeated syntactic …

Processing is a programming language created to teach programming in a visual context.
Despite its success, Processing remains a niche language with limited applicability in the …

Designing custom notations is essential to designing advanced systems. Although an
electrical engineer could write an English description of a circuit board, explaining which …

Programming languages are being introduced in several areas of expertise, including
design and architecture. Processing is an example of one of these languages that was …

Existing systems for writing unit tests exploit built-in language constructs, such as reflection,
to simulate the addition of testing constructs. While these simulations provide the minimally …