2004 search results - page 16 / 401 » Interaction nets: programming language design and implementa... |
SLE
2009
Springer
14 years 2 months ago
2009
Springer
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...