Sciweavers

7139 search results - page 168 / 1428
» Language Engineering in Practice
Sort
View
SOCO
2009
Springer
16 years 28 days ago
Language Design for Meta-programming in the Software Composition Domain
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal...
Paul Klint, Jurgen J. Vinju, Tijs van der Storm
APAL
2011
15 years 1 months ago
New spectra of strongly minimal theories in finite languages
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
Uri Andrews
B
1998
Springer
15 years 10 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
CISSE
2008
Springer
15 years 8 months ago
Using B-trees to Implement Water: a Portable, High Performance, High-Level Language
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
Aubrey Jaffer, Mike Plusch, Robert Nilsson
IFIP
2007
Springer
16 years 17 days ago
In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
Dindin Wahyudin, Matthias Heindl, Benedikt Eckhard...