Sciweavers

10871 search results - page 384 / 2175
» A stable programming language
Sort
View
GPCE
2004
Springer
16 years 4 days ago
Compiling Process Graphs into Executable Code
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
Rainer Hauser, Jana Koehler
JSC
2010
105views more  JSC 2010»
15 years 5 months ago
Programming with narrowing: A tutorial
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
Sergio Antoy
DEXAW
2008
IEEE
93views Database» more  DEXAW 2008»
16 years 1 months ago
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
Kenji Saito
SFP
2003
15 years 8 months ago
Camelot and Grail: resource-aware functional programming for the JVM
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
Kenneth MacKenzie, Nicholas Wolverson
162
Voted
PLSA
1994
15 years 10 months ago
Language and Architecture Paradigms as Object Classes
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
Diomidis Spinellis, Sophia Drossopoulou, Susan Eis...