The syntax of popular programming languages often includes features that don’t conform to the simplest models of program translation. Though designed to be easy for conventional compilers to handle, these features can cause trouble for language analysis in other environments. In implementing support for the C language within the Harmonia incremental framework, we’ve needed unconventional approaches to deal with the language’s quirks. Closely following the language speci˛cation, we describe how a ‚ex-based lexer, an ambiguous context-free grammar, and an objectoriented syntax-tree based analysis can be built to function well in a text editor or other interactive environment. By resolving syntactic ambiguities during name resolution, we colle...
In this paper we present our design for a program data exchange format for Harmonia, a framework for...
To face the challenges to tomorrow’s software engineering tools, powerful language-generic programtr...
The Climacs text editor is a CLIM implementation of a text editor in the Emacs tradition. Climacs wa...
AbstractAutomatically generated lexers and parsers for programming languages have a long history. Al...
Automatically generated lexers and parsers for programming languages have a long history. Although t...
Automatically generated lexers and parsers for programming languages have a long history. Although t...
AbstractAutomatically generated lexers and parsers for programming languages have a long history. Al...
The Harmonia framework provides an infrastructure for building language-aware interactive programmin...
Today’s system programmers go to great lengths to extend the languages in which they program. For in...
There is an increasing interest in extensible languages, (domain-specific) language extensions, and ...
Current real-world software applications typically involve heavy use of relational and XML data and ...
This dissertation shows that complex, real programming languages can be completely formalized in the...
International audienceA compiler consists of a sequence of phases going from lexical analysis to cod...
SIC is a programming too1 whose purpose is to assist in the developmentpf compilers by"means of a sp...
Programs are hierarchical compositions of formulae satis-fying structural and extra-structural relat...
In this paper we present our design for a program data exchange format for Harmonia, a framework for...
To face the challenges to tomorrow’s software engineering tools, powerful language-generic programtr...
The Climacs text editor is a CLIM implementation of a text editor in the Emacs tradition. Climacs wa...
AbstractAutomatically generated lexers and parsers for programming languages have a long history. Al...
Automatically generated lexers and parsers for programming languages have a long history. Although t...
Automatically generated lexers and parsers for programming languages have a long history. Although t...
AbstractAutomatically generated lexers and parsers for programming languages have a long history. Al...
The Harmonia framework provides an infrastructure for building language-aware interactive programmin...
Today’s system programmers go to great lengths to extend the languages in which they program. For in...
There is an increasing interest in extensible languages, (domain-specific) language extensions, and ...
Current real-world software applications typically involve heavy use of relational and XML data and ...
This dissertation shows that complex, real programming languages can be completely formalized in the...
International audienceA compiler consists of a sequence of phases going from lexical analysis to cod...
SIC is a programming too1 whose purpose is to assist in the developmentpf compilers by"means of a sp...
Programs are hierarchical compositions of formulae satis-fying structural and extra-structural relat...
In this paper we present our design for a program data exchange format for Harmonia, a framework for...
To face the challenges to tomorrow’s software engineering tools, powerful language-generic programtr...
The Climacs text editor is a CLIM implementation of a text editor in the Emacs tradition. Climacs wa...