4959 search results - page 35 / 992 » Imperative Functional Programming |
89
Voted
EACL
1993
ACL Anthology
15 years 6 days ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
74
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
84
Voted
ICALT
2005
IEEE
15 years 4 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
79
Voted
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...