Sciweavers

2722 search results - page 233 / 545
» Automating Language Evolution
Sort
View
ICLP
2005
Springer
15 years 10 months ago
A Type System for CHR
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
Emmanuel Coquery, François Fages
WSC
2008
15 years 7 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson
WCRE
2005
IEEE
15 years 10 months ago
When Functions Change Their Names: Automatic Detection of Origin Relationships
It is a common understanding that identifying the same entity such as module, file, and function between revisions is important for software evolution related analysis. Most softw...
Sunghun Kim, Kai Pan, E. James Whitehead Jr.
GECCO
2008
Springer
122views Optimization» more  GECCO 2008»
15 years 5 months ago
Evolving machine microprograms
The realization of a control unit can be done using a complex circuitry or microprogramming. The latter may be considered as an alternative method of implementation of machine ins...
Pedro A. Castillo Valdivieso, G. Fernández,...
VL
2007
IEEE
121views Visual Languages» more  VL 2007»
15 years 11 months ago
Scenario-Based Requirements for Web Macro Tools
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
Christopher Scaffidi, Allen Cypher, Sebastian G. E...