2004 search results - page 85 / 401 » Interaction nets: programming language design and implementa... |
176
click to vote
SFP
2003
15 years 7 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...
188
click to vote
ESOP
2007
Springer
16 years 13 days 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...
137
click to vote
ACSAC
2006
IEEE
16 years 10 days 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...
154
click to vote
TEI
2009
ACM
16 years 1 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...
150
click to vote
POPL
2000
ACM
15 years 10 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...