801 search results - page 83 / 161 » The Core Language of Aldwych |
221
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
212
click to vote
TOPLAS
2002
15 years 5 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
220
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
179
Voted
ACL
2010
15 years 4 months ago
2010
For languages with (semi-) free word order (such as German), labelling grammatical functions on top of phrase-structural constituent analyses is crucial for making them interpreta...
197
Voted
RWEB
2010
Springer
15 years 4 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...