Filters








27,936 Hits in 2.8 sec

On the formal definition of ADA [chapter]

V. Donzeau-Gouge, G. Kahn, B. Lang
1980 Lecture Notes in Computer Science  
This report presents the essential design decisions that were made when drafting the Formal Definition of the programming language Ada, commissioned by the U.S( Department of Defense.  ...  The goals, structure and conventions of the document are outlined. This paper constitutes an introduction to reading the Formal Definition.  ...  Normalization One part of the Formal Definition specifies transformations of the abstract syntax tree that do not require any type information.  ... 
doi:10.1007/3-540-10250-7_34 fatcat:ymlzrj6tkvhabk2c5kgclyzb5e

Dansk Datamatik Center [chapter]

Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm
2011 IFIP Advances in Information and Communication Technology  
One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system.  ...  DDC made the first DoD validated Ada compiler in Europe, and the Ada project was carried on in a subsidiary called DDC-I, Inc.  ...  Without his diligent and painstaking investigations of how to formalise the static semantics of CHILL and Ada, DDC could not have gotten off the ground.  ... 
doi:10.1007/978-3-642-23315-9_39 fatcat:vritru4g3bbkjk7x3igdrtx5iu

Experience with the formal semantic definition of HAL/S

Terrence W. Pratt, George D. Maydwell
1982 Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82  
After the language had been in regular use for several years, we were requested by NASA to prepare a formal semantic definition of the language using the method of H-graph semantics.  ...  This paper reports on the method and structure of that definition and on experience with its use in finding and correcting errors in the language specification and in the design of implementations for  ...  Comparison of the HAL/S formal semantic definition with the ADA definition [8] using denotational semantics brings out as major differences: a.  ... 
doi:10.1145/800230.807007 dblp:conf/sigplan/PrattM82 fatcat:wx4yelqsdvbtrg5mcvebosr454

Concurrent programming in Ada

Ian Mearns
1987 Science of Computer Programming  
The chapter on formal aspects of Ada tasking is to be welcomed, although it is rather brief and somewhat confused in places.  ...  unfamiliar with Ada to consult a general text-book on the language.  ... 
doi:10.1016/0167-6423(87)90013-x fatcat:zvqczcdu7zfv5bzvpf6acjazcm

Echo

Elisabeth A. Strunk, Xiang Yin, John C. Knight
2005 Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05  
We rely on the existing SPARK toolset to verify the Ada code against the SPARK annotations. The process is largely automatic or computer-aided.  ...  of the properties of the original.  ...  Function declarations and definitions Function declarations and definitions are the most difficult to encode in SPARK Ada.  ... 
doi:10.1145/1081180.1081187 fatcat:ebm2mm4zc5exjaudttua4jj36a

The Impact of Abstraction Concerns on Modern Programming Languages [chapter]

Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
1983 Studies in Ada® Style  
This paper traces the important ideas of modern programming languages to their roots in the problems and languages of the past decade and shows how these modern languages respond to contemporary problems  ...  The major issues of modern software are its size and complexity, and its major problems involve finding effective techniques and tools for organization and maintenance.  ...  Indeed, the influence of several of the research projects on Ada [37] and Euclid [44] is apparent.  ... 
doi:10.1007/978-1-4612-5517-8_3 fatcat:d5obxtcglfflze56hcsxzpro4q

Parallelism in ADA: Program Design and Meaning

Brian H. Mayoh
1980 DAIMI Report Series  
This paper suggests a programming methodology and it gives a precise definition of the ADA form of parallelism.  ...  The methodology is based on the ideas of Milner and it can be used when designing parallel programs in languages other than ADA.  ...  In the draft formal definition of ADA denotational semantics are used to give a precise meaning to the sequential part of the language.  ... 
doi:10.7146/dpb.v8i103.6528 fatcat:i4nk7a7425apxheox2dcv2ussm

Parallelism in ADA: Program design and meaning [chapter]

Brian H. Mayoh
1980 Lecture Notes in Computer Science  
This paper suggests a programming methodology and it gives a precise definition of the ADA form of parallelism.  ...  The methodology is based on ideas of Milner and it can be used when designing parallel programs in languages other than ADA,  ...  In the draft formal definition of ADA denotational semantics are used to give a precise meaning to the sequential part of the language.  ... 
doi:10.1007/3-540-09981-6_18 fatcat:4pjx4zrlmvfpldct5xyk75lkae

Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis

Xiufeng Ni, Cui Zhang
2008 Journal of Object Technology  
This tool aims at facilitating the refinement from formal specifications to Spec# and the full usage of the static and dynamic analysis techniques in Spec#.  ...  Construction of correctness is an essential issue for the implementation of a reliable software system.  ...  Object-Z is an extension of Z, one of the most widely used formal specification notation [4] .  ... 
doi:10.5381/jot.2008.7.8.a6 fatcat:fp3lgqa7m5dpbktgpee7cfkedi

Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL

Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
All approaches are shown on Component & Connector model examples, where OCL/P is used on the meta-level to verify backwards compatibility of interfaces.  ...  Another drawback of using complex OCL constraints at present is the lack of descriptive and user-friendly error messages.  ...  Also, the needed accuracy of the port Acceleration pedal pc of ADAS V4 is less than the one in ADAS V1 meaning that ADAS V4 cannot process sensor data having a noise of 3.5.  ... 
dblp:conf/models/BertramRW16 fatcat:5ske7zwjkjgsfjeanxdwqp2d6m

The impact of abstraction concerns on modern programming languages

M. Shaw
1980 Proceedings of the IEEE  
This paper traces the important ideas of modern programming languages to their roots in the problems and languages of the past decade and shows how these modern languages respond to contemporary problems  ...  The major issues of modern software are its size and complexity, and its major problems involve finding effective techniques and tools for organization and maintenance.  ...  Figure 4 - 5 : 45 Ada Package Definition for Employee Records related definitions and isolating them from the rest of the program.  ... 
doi:10.1109/proc.1980.11811 fatcat:ws4za5awijdfbjhawdasp65mqq

The logical basis for computer programming. Volume 1: Deductive reasoning

C. Morgan
1987 Science of Computer Programming  
The chapter on formal aspects of Ada tasking is to be welcomed, although it is rather brief and somewhat confused in places.  ...  unfamiliar with Ada to consult a general text-book on the language.  ... 
doi:10.1016/0167-6423(87)90014-1 fatcat:xzynr3ospbe4vc54vedpbdobae

Safety critical systems based on formal models

Lars Asplund, Kristina Lundqvist
2000 ACM SIGAda Ada Letters  
The complexity of the run-time system has been reduced to allow full utilization of formal methods for applications using the Ravenscar profile.  ...  The Ravenscar profile for high integrity systems using Ada 95 is well defined in all real-time aspects.  ...  Conclusion The Ravenscar profile was designed with predictability in mind, and our work on the formal definition of a Ravenscar compliant run-time kernel has shown that the definition is not larger than  ... 
doi:10.1145/369264.369267 fatcat:qlknczyumrfpnonphiiejhjfgq

Synthesis of Custom Hardware from ADA with Artificial Intelligence Techniques

Michael Dossis
2013 Advances in Robotics & Automation  
and the formal compilation of the intelligent HLS compiler.  ...  Citation: Dossis M (2014) Synthesis of Custom Hardware from ADA with Artificial Intelligence Techniques. Adv Robot Autom 3: 121.  ...  ADA-95 definition) differential2 with two formal input parameters and one output.  ... 
doi:10.4172/2168-9695.1000121 fatcat:6vwlruh4yfg2bi6dhyhmz2uoy4

Including non-functional issues in Anna/Ada programs for automatic implementation selection [chapter]

Xavier Franch
1997 Lecture Notes in Computer Science  
the "best" meaning the one that fits the set of non-functional requirements of the package in the program.  ...  We present an enrichment of the Anna specification language for Ada aimed at dealing not only with functional specification of packages but also with non-functional information about them.  ...  There are two types of formal comments: • Virtual Ada text. Definition of virtual concepts by means of usual Ada subprogram constructs.  ... 
doi:10.1007/3-540-63114-3_9 fatcat:2xin7rms6rcxldom624l6zxb3m
« Previous Showing results 1 — 15 out of 27,936 results