Sciweavers

3056 search results - page 202 / 612
» Compiling Embedded Languages
Sort
View
OTM
2007
Springer
15 years 4 months ago
Leveraging the Expressivity of Grounded Conjunctive Query Languages
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
Alissa Kaplunova, Ralf Möller, Michael Wessel
APLAS
2004
ACM
15 years 4 months ago
Region-Based Memory Management for a Dynamically-Typed Language
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
TOOLS
1992
IEEE
15 years 2 months ago
Automating the Development of Syntax Tree Generators for an Evolving Language
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
Per Grape, Kim Walden
B
1998
Springer
15 years 3 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
15 years 3 months ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft