Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Attribute Grammars [[electronic resource] ] : Definitions, Systems and Bibliography / / by Pierre Deransart, Martin Jourdan, Bernard Lorho
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||