1583 search results - page 112 / 317 » Feature Interaction Detection in the Feature Language Extens... |
ISORC
2000
IEEE
14 years 18 days ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
COMSIS
2007
13 years 8 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
OWLED
2008
13 years 9 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...