2500 search results - page 370 / 500 » Logical Semantics of Modularisation |
173
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
168
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
157
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
145
click to vote
WSC
2004
15 years 7 months ago
2004
Ontologies represent the next important phase of the World Wide Web, creating a semantic web which links together disparate pieces of information and knowledge. Creating ontologie...
176
click to vote
CNL
2009
15 years 7 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...