Attribute grammar based theorem prover

Panayiotopoulos, T; Papakonstantinou, G; Stamatopoulos, G

dc.contributor.author	Panayiotopoulos, T	en
dc.contributor.author	Papakonstantinou, G	en
dc.contributor.author	Stamatopoulos, G	en
dc.date.accessioned	2014-03-01T01:07:05Z
dc.date.available	2014-03-01T01:07:05Z
dc.date.issued	1988	en
dc.identifier.issn	0950-5849	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/9784
dc.relation.uri	http://www.scopus.com/inward/record.url?eid=2-s2.0-0024105187&partnerID=40&md5=353a3ecf4b55aad0e98fbacc682a0246	en
dc.subject	attribute grammars	en
dc.subject	software engineering	en
dc.subject	software tools	en
dc.subject	theorem proving	en
dc.subject.classification	Computer Science, Information Systems	en
dc.subject.classification	Computer Science, Software Engineering	en
dc.subject.other	Artificial Intelligence	en
dc.subject.other	Automata Theory--Grammars	en
dc.subject.other	Computer Programming Languages	en
dc.subject.other	Attribute Grammars	en
dc.subject.other	Software Tools	en
dc.subject.other	Theorem Proving	en
dc.subject.other	Very High Level Langauges	en
dc.subject.other	Computer Software	en
dc.title	Attribute grammar based theorem prover	en
heal.type	journalArticle	en
heal.language	English	en
heal.publicationDate	1988	en
heal.abstract	In this paper a software tool called attribute grammar based theorem prover (AGBTP) is proposed, which can be used both as a processor of attribute grammars and as a theorem prover. Hence, attribute grammars' applications from the area of software engineering as well as theorem proving applications from the area of knowledge engineering can be faced using the same tool. The main advantages of the proposed tool are that it can combine procedural and declarative characteristics using a very high level language i.e. the attribute grammars' language and user defined semantic functions in the host language. Second, full theorem proving capabilities are obtained through an extended parser, which implements the model elimination procedure. © 1988.	en
heal.publisher	BUTTERWORTH-HEINEMANN LTD	en
heal.journalName	Information and Software Technology	en
dc.identifier.isi	ISI:A1988R090900004	en
dc.identifier.volume	30	en
dc.identifier.issue	9	en
dc.identifier.spage	553	en
dc.identifier.epage	560	en