2803 search results - page 32 / 561 » A Type System for Prototyping Languages |
TIC
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
ITCC
2002
IEEE
14 years 1 months ago
2002
IEEE
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
RTA
1995
Springer
14 years 16 hour ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
ECOOP
2006
Springer
14 years 4 days ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...