Sciweavers

3809 search results - page 182 / 762
» Associative language descriptions
Sort
View
OOPSLA
2007
Springer
16 years 19 days ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
TSD
2009
Springer
16 years 1 months ago
Hybrid Semantic Analysis
— This article is focused on the problem of meaning recognition in spoken utterances. The goal is to find a computer algorithm capable to construct the meaning description of a ...
Miloslav Konopík, Ivan Habernal
FDL
2003
IEEE
15 years 11 months ago
Design and Power Analysis in SysteC of an I2C Bus Driver
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
Marco Caldari, Massimo Conti, Paolo Crippa, Simone...
BIRTHDAY
2003
Springer
15 years 11 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
ESSLLI
1999
Springer
15 years 10 months ago
Setting up Exhausted Values
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
Alastair Butler