Sciweavers

6740 search results - page 163 / 1348
» Using Classification as a Programming Language
Sort
View
PLILP
1994
Springer
15 years 5 months ago
Hand-Writing Program Generator Generators
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
Lars Birkedal, Morten Welinder
ICFP
2009
ACM
16 years 2 months ago
Biorthogonality, step-indexing and compiler correctness
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
Nick Benton, Chung-Kil Hur
AUSAI
2005
Springer
15 years 7 months ago
A Controlled Natural Language Layer for the Semantic Web
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
Rolf Schwitter
COMPSAC
2008
IEEE
15 years 8 months ago
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Phu H. Phung, David Sands
CORR
2000
Springer
138views Education» more  CORR 2000»
15 years 1 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas