Sciweavers

2602 search results - page 62 / 521
» Semantic Analysis of 'to'
Sort
View
EWCBR
2004
Springer
15 years 10 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
PEPM
1995
ACM
15 years 9 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
ER
2008
Springer
108views Database» more  ER 2008»
15 years 8 months ago
Reflective Analysis of the Syntax and Semantics of the i* Framework
Jennifer Horkoff, Golnaz Elahi, Samer Abdulhadi, E...
ACL
2004
15 years 7 months ago
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...
Ruth Fuchss, Alexander Koller, Joachim Niehren, St...