2803 search results - page 12 / 561 » A Type System for Prototyping Languages |
DLS
2009
13 years 6 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
ERLANG
2007
ACM
14 years 10 days ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
AOSD
2008
ACM
13 years 10 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
CACM
1998
13 years 8 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...