𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantified types in an imperative language

✍ Scribed by Grossman, Dan

Book ID
121314240
Publisher
Association for Computing Machinery
Year
2006
Tongue
English
Weight
531 KB
Volume
28
Category
Article
ISSN
0164-0925

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

MiniMAO1 : An imperative core language f
MiniMAO1 : An imperative core language for studying aspect-oriented reasoning
✍ Curtis Clifton; Gary T. Leavens πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 766 KB

This paper describes MiniMAO 1 , a core aspect-oriented language. Unlike previous aspect-oriented calculi and core languages, MiniMAO 1 allows around advice to change the target object of an advised operation before proceeding. MiniMAO 1 accurately models the ways AspectJ allows changing the target

Type-checking in an untyped language
Type-checking in an untyped language
✍ Allan Ramsay πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science βš– 620 KB

It is argued that typed variables and functions are inappropriate for languages which allow functional arguments, data types defined by predicates, and conditional expressions that test data types. However, it is still possible to do some compile-time type-checking for such languages. This paper pre