Sciweavers

5415 search results - page 356 / 1083
» The Implementation of Functional Programming Languages
Sort
View
EDBTW
2006
Springer
15 years 10 months ago
Event-Condition-Action Rule Languages for the Semantic Web
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...
Alexandra Poulovassilis, George Papamarkos, Peter ...
ESOP
1999
Springer
15 years 11 months ago
Dynamic Programming via Static Incrementalization
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
Yanhong A. Liu, Scott D. Stoller
IEICET
2007
110views more  IEICET 2007»
15 years 6 months ago
A Higher-Order Knuth-Bendix Procedure and Its Applications
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
Keiichirou Kusakari, Yuki Chiba
ICFP
2008
ACM
16 years 6 months ago
Compiling self-adjusting programs with continuations
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
150
Voted
ECOOP
2000
Springer
15 years 11 months ago
Extending Moby with Inheritance-Based Subtyping
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
Kathleen Fisher, John H. Reppy