2004 search results - page 77 / 401 » Interaction nets: programming language design and implementa... |
151
click to vote
WLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
191
click to vote
SIGCSE
2012
ACM
14 years 7 days ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
143
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
143
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
135
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...