Sciweavers

7139 search results - page 316 / 1428
» Language Engineering in Practice
Sort
View
ICFP
2005
ACM
16 years 7 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
OOPSLA
2005
Springer
16 years 23 days ago
A delta-driven execution model for semantic computing
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
Roly Perera, Jeff Foster, György Koch
OOPSLA
2004
Springer
16 years 19 days ago
A language-independent approach to software maintenance using grammar adapters
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
Suman Roychoudhury
ICTAI
2007
IEEE
16 years 1 months ago
Enriching OWL Ontologies with Linguistic and User-Related Annotations: The ELEON System
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
Dimitris Bilidas, Maria Theologou, Vangelis Karkal...
NLDB
2007
Springer
16 years 1 months ago
Ontological Text Mining of Software Documents
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
René Witte, Qiangqiang Li, Yonggang Zhang, ...