3440 search results - page 502 / 688 » Logics For Context-Free Languages |
208
Voted
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
181
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
216
click to vote
SIGCSE
2005
ACM
16 years 20 days ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
199
Voted
MKM
2004
Springer
16 years 14 days ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
216
Voted
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...