2625 search results - page 14 / 525 » The development of the Emerald programming language |
POPL
2006
ACM
14 years 7 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...
TOOLS
1992
IEEE
13 years 10 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...
APSEC
2004
IEEE
13 years 10 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...
WOA
2004
13 years 8 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...
GPCE
2009
Springer
13 years 11 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...