2625 search results - page 14 / 525 » The development of the Emerald programming language |
232
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
166
Voted
TOOLS
1992
IEEE
15 years 7 months ago
1992
IEEE
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...
127
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
119
Voted
WOA
2004
15 years 5 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
162
Voted
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...