Knowledge-based diagnosis of semantic errors in ADA programs

Knowledge-based diagnosis of semantic errors in ADA programs

Bibliographic Details
Main Author:	Snowden, D. S.
Published:	University of York 1987
Subjects:	005 Computer program errors
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379017

Similar Items

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

Separate compilation and the ADA programming language
by: Briggs, J. S.
Published: (1984)

The use of diagrams and colour in the display of ADA programs
by: Reid, P.
Published: (1983)

Software tools to aid PASCAL and ADA program design
by: Jankowitz, H. T.
Published: (1987)

Deductive and algorithmic analysis of real-time concurrent Ada programs
by: Gerdsmeier, Thorsten
Published: (2001)

ADDS : An Ada dialogue development system
by: Robinson, J.
Published: (1986)

Computer-aided mangement of ADA systems
by: Jazaa, Abid Thyab
Published: (1991)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

Semantic primitives for object-oriented programming languages
by: Clark, Anthony Neil
Published: (1996)

Semantics of a synchronous parallel programming language
by: Narayana, K. T.
Published: (1982)

Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
by: Shi, Feng Gang
Published: (1995)

A semantic knowledge-based computational dictionary for support of natural language processing systems
by: Al-Hafez, Muhammad Yassin
Published: (1993)

Knowledge-based advising in the domain of scientific programming
by: Meehan, Diane
Published: (1993)

An object-centred interpretation of the blackboard architecture for knowledge-based programming
by: McArthur, David
Published: (1987)

Semantic net based hypertext for authoring and reuse
by: Wang, Weigang
Published: (1995)

Error recovery : literature survey and enhancement to a parser generator
by: Ali, F. A.
Published: (1979)

Knowledge restructuring and the development of expertise in computer programming
by: Davies, Simon P.
Published: (1992)

Evaluation and denotation of pure LISP programs : a worked example in semantics
by: Gordon, Michael J. C.
Published: (1974)

Semantics of object-oriented languages
by: Wolczko, M. I.
Published: (1988)

The semantics and implementation of machine-readable CSP
by: Scattergood, Bryan
Published: (1998)

Semantic models for communicating processes with value-passing
by: Ingolfsdottir, Anna
Published: (1994)

Iterative construction of data modelling language semantics
by: Botting, Richard
Published: (1997)

Semantic integrity enforcement in parallel database machines
by: McCarroll, Niall Fraser
Published: (1995)

Denotational semantic models for real-time LOTOS
by: Bryans, Jeremy William
Published: (1996)

Enhancing the semantic power of functional database languages
by: Ayers, Robert
Published: (1995)

Studies in model-based diagnosis
by: Omar, Rosli Bin
Published: (2000)

KAT-MeD : a task and model driven knowledge acquisition tool for medical diagnosis
by: Amuah, James Fisher
Published: (1992)

Software design methods and errors
by: Kamal, Muhammad
Published: (1991)

Semantic query optimization in relational database management systems
by: Sayli, Ayla
Published: (1999)

A correspondence between denotational semantics and code generation
by: Raskovsky, M. R.
Published: (1982)

Semantic-constraint modelling for small database management systems
by: Eaglestone, B. M.
Published: (1985)

A semantic object-oriented shell for the relational model
by: Balian, Aram
Published: (1993)

The formal semantics of deterministic dataflow programs
by: Oliveira, J. N. F.
Published: (1984)

Data structure for knowledge bases
by: Freeston, Michael William
Published: (1997)

Knowledge-based technology transfer
by: Murphy, Maureen T.
Published: (1993)

The representation of knowledge in knowledge based systems for chemical and process plant selection
by: Campbell, Colin
Published: (1990)

Knowledge acquisition for knowledge-based systems : an empirical comparison of two methods
by: Nicholson, Clive
Published: (1992)

A semantic study of data independence with applications to model checking
by: Lazic, Ranko S.
Published: (1999)

Functional real-time programming : the language Ruth and its semantics
by: Harrison, Dave
Published: (1988)

A domain-specific language based approach to component composition, error-detection, and fault prediction
by: Ingham, James
Published: (2001)