2004 search results - page 85 / 401 » Interaction nets: programming language design and implementa... |
157
click to vote
SFP
2003
15 years 6 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
161
Voted
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
114
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
138
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
126
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...