4008 search results - page 270 / 802 » An expressive language of signatures |
201
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
186
click to vote
GPCE
2004
Springer
16 years 1 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
178
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
171
click to vote
COST
2007
Springer
16 years 25 days ago
2007
Springer
The paper addresses the issue of making Virtual Humans unique and typical of some (social or ethnical) group, by endowing them with style. First a conceptual framework of defining ...
186
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...