Sciweavers

1623 search results - page 92 / 325
» Programming language concepts for software developers
Sort
View
IEE
2008
100views more  IEE 2008»
15 years 4 months ago
Extending grammars and metamodels for reuse: the Reuseware approach
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
Jakob Henriksson, Florian Heidenreich, Jendrik Joh...
248
Voted
POPL
2006
ACM
16 years 4 months ago
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
Xavier Leroy
IWPC
2006
IEEE
15 years 10 months ago
Reverse Engineering Scripting Language Extensions
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
Daniel L. Moise, Kenny Wong, H. James Hoover, Daqi...
MM
1997
ACM
102views Multimedia» more  MM 1997»
15 years 8 months ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
WCFLP
2005
ACM
15 years 9 months ago
A declarative debugger of incorrect answers for constraint functional-logic programs
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
Rafael Caballero