Attribute Grammars [[electronic resource] ] : Definitions, Systems and Bibliography / / by Pierre Deransart, Martin Jourdan, Bernard Lorho |
Autore | Deransart Pierre |
Edizione | [1st ed. 1988.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
Descrizione fisica | 1 online resource (IX, 232 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-540-45911-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Definitions and main results -- Review of existing systems -- Classified bibliography. |
Record Nr. | UNISA-996465849703316 |
Deransart Pierre
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (VIII, 308 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Architecture, Computer Programming languages (Electronic computers) Artificial intelligence Computer logic Computer programming Software Engineering/Programming and Operating Systems Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
ISBN | 3-540-46092-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static analysis of functional programs with logical variables -- Towards a clean amalgamation of logic programs with external procedures -- An application of abstract interpretation in source level program transformation -- A tool to check the non-floundering logic programs and goals -- Towards a framework for the abstract interpretation of logic programs -- An implementation of retargetable code generators in prolog -- Towards a "middle road" methodology for writing code generators -- A compiler written in prolog: the véda experience -- Coupled context-free grammar as a programming paradigm -- A bottom-up adaptation of earley's parsing algorithm -- Using an attribute grammar as a logic program -- Structure sharing in attribute grammars -- A semantic evaluator generating system in prolog -- A grammatical view of logic programming -- Compiling typol with attribute grammars -- Formal specification of a prolog compiler -- Formal specification of interactive languages using definite clause grammars -- Using logic databases in software development environments. |
Record Nr. | UNISA-996465317203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|