We now live in an information society where increasingly large volumes of data are exchanged between networked nodes in distributed systems. Recent years have seen a multitude of dierent serialization frameworks released to efficiently handle all this information while minimizing developer effort. One such format is Google Protocol Buers, which has gained additional code generation support for a wide variety of programming languages from third-party developers. Ada is a widely used programming language in safety-critical systems today. However, it lacks support for Protocol Buffers. This limits the use of Protocol Buffers at companies like Saab, where Ada is the language of choice for many systems. To amend this situation Ada code generatio...
A~--This paper compares two implementation models for abstract data types: direct and indirect imple...
Abstract. Since its inception, a main objective of the Ada language has been to assist in the develo...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
From the smallest microcomputer to the largest mainframe computer, data communication capabilities a...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
The MERCURY system generates multi-user language-based environments from attribute grammars. The AG ...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Ada 2005 is an even safer and more agile language than its predecessors, with all of the efficiency ...
Motivation: The analysis of large biological datasets often requires complex processing pipelines th...
Protocol programming languages are domain-specific languages that offer higher-level abstractions fo...
The Ada language is now 10 years old, like SI and SI-Information. A free compiler, called GNAT, will...
Parallel programming has become essential for writing scalable programs on general hardware. Concept...
This paper discusses how Ada generic procedures and packages can be used in novel ways to provide ge...
It is well-known that data abstractions are crucial to good software engineering practice. We argue ...
This paper describes OpenAda, a reflective version of Ada that we developed to support research in s...
A~--This paper compares two implementation models for abstract data types: direct and indirect imple...
Abstract. Since its inception, a main objective of the Ada language has been to assist in the develo...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
From the smallest microcomputer to the largest mainframe computer, data communication capabilities a...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
The MERCURY system generates multi-user language-based environments from attribute grammars. The AG ...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Ada 2005 is an even safer and more agile language than its predecessors, with all of the efficiency ...
Motivation: The analysis of large biological datasets often requires complex processing pipelines th...
Protocol programming languages are domain-specific languages that offer higher-level abstractions fo...
The Ada language is now 10 years old, like SI and SI-Information. A free compiler, called GNAT, will...
Parallel programming has become essential for writing scalable programs on general hardware. Concept...
This paper discusses how Ada generic procedures and packages can be used in novel ways to provide ge...
It is well-known that data abstractions are crucial to good software engineering practice. We argue ...
This paper describes OpenAda, a reflective version of Ada that we developed to support research in s...
A~--This paper compares two implementation models for abstract data types: direct and indirect imple...
Abstract. Since its inception, a main objective of the Ada language has been to assist in the develo...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...