Sciweavers

12452 search results - page 287 / 2491
» An exploration of program as language
Sort
View
POS
1994
Springer
15 years 11 months ago
Using C as a Compiler Target Language for Native Code Generation in Persistent Systems
Persistent programming languages exhibit several requirements that affect the generation of native code, namely: garbage collection; arbitrary persistence of code, data and proces...
S. J. Bushell, Alan Dearle, Alfred L. Brown, Franc...
161
Voted
ICALP
2009
Springer
16 years 7 months ago
A Decidable Characterization of Locally Testable Tree Languages
Thomas Place, Luc Segoufin
195
Voted
HIPS
1997
IEEE
15 years 11 months ago
Complexity and Performance in Parallel Programming Languages
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
Steven P. Vanderwiel, Daphna Nathanson, David J. L...
ENTCS
2008
175views more  ENTCS 2008»
15 years 7 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
280
Voted
PADL
2009
Springer
16 years 8 months ago
On Preferring and Inspecting Abductive Models
Gonçalo Lopes, Luís Moniz Pereira, P...