Add to ORKGExtensible Protected Types were devised to integrate concurrent and object-oriented features of Ada 95. This paper reports on a feasibility study based on implementing Extensible Protected Types for the GNAT compiler
This paper explores the use of rule-based techniques to manage reusable software libraries. In parti...
This paper discusses how Ada generic procedures and packages can be used in novel ways to provide ge...
Making the step from Event-B to code is a process that can be aided through automatic code generatio...
Integrating concurrent and object-oriented programming as been an active research topic since the la...
This manual contains useful information in writing programs using the GNAT compiler. It includes inf...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
This dissertation investigates data integrity in Ada 95. The hypothesis presented is that Ada 95 pro...
This guide describes the use of GNAT, a compiler and software development toolset for the full Ada p...
135 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980.The protection structures of ...
New extensions to programming languages are constantly being proposed. But implementing these extens...
This paper describes proposed extensions to the Ada95 programming language to provide support for pe...
Atomic actions are an important dynamic structuring technique that aid the construction of fault-tol...
One important role for Ada programming is to aid engineering of concurrent and distributed software....
Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of use...
Bibliography: p. 144.ADA is a high level programing language sponsored by the United States Departme...
This paper explores the use of rule-based techniques to manage reusable software libraries. In parti...
This paper discusses how Ada generic procedures and packages can be used in novel ways to provide ge...
Making the step from Event-B to code is a process that can be aided through automatic code generatio...
Integrating concurrent and object-oriented programming as been an active research topic since the la...
This manual contains useful information in writing programs using the GNAT compiler. It includes inf...
Ada 95 protected objects are intended to provide a synchronization mechanism that is lower-level and...
This dissertation investigates data integrity in Ada 95. The hypothesis presented is that Ada 95 pro...
This guide describes the use of GNAT, a compiler and software development toolset for the full Ada p...
135 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980.The protection structures of ...
New extensions to programming languages are constantly being proposed. But implementing these extens...
This paper describes proposed extensions to the Ada95 programming language to provide support for pe...
Atomic actions are an important dynamic structuring technique that aid the construction of fault-tol...
One important role for Ada programming is to aid engineering of concurrent and distributed software....
Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of use...
Bibliography: p. 144.ADA is a high level programing language sponsored by the United States Departme...
This paper explores the use of rule-based techniques to manage reusable software libraries. In parti...
This paper discusses how Ada generic procedures and packages can be used in novel ways to provide ge...
Making the step from Event-B to code is a process that can be aided through automatic code generatio...