Sciweavers

27119 search results - page 310 / 5424
» Languages
Sort
View
211
Voted
ESOP
1992
Springer
15 years 10 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
ICALP
2000
Springer
15 years 10 months ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
190
Voted
COLING
2008
15 years 8 months ago
A Punjabi To Hindi Machine Translation System
Punjabi and Hindi are two closely related languages as both originated from the same origin and having lot of syntactic and semantic similarities. These similarities make direct t...
Gurpreet Singh Josan, Gurpreet Singh Lehal
SFP
2003
15 years 8 months ago
Is it time for real-time functional programming?
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
Kevin Hammond
EACL
1993
ACL Anthology
15 years 8 months ago
Morphonology in the Lexicon
In this paper we present a means of defining morphonological phenomena in an inheritance based lexicon. We make use of the theory behind the formal language MOLUSC, in which morph...
Lynne J. Cahill