2496 search results - page 320 / 500 » Error-detecting properties of languages |
140
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
140
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
154
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
145
click to vote
SOSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
150
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....