959 search results - page 8 / 192 » Fundamental Concepts in Programming Languages |
FMOODS
2003
14 years 10 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
105
click to vote
UM
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
LREC
2010
14 years 11 months ago
2010
Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain speci...
120
Voted
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...