959 search results - page 145 / 192 » Fundamental Concepts in Programming Languages |
TSE
2002
13 years 9 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
140
click to vote
Lab
The Institute's mission is to produce excellent, innovative and nationalistic engineers and to advance the field of electrical and electronics engineering.
The undergr...
ER
1995
Springer
14 years 1 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
MUC
1992
14 years 1 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...