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.
Programming Languages: Implementations, Logics, and Programs [[electronic resource] ] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / / edited by Hugh Glaser, Peter Hartel, Herbert Kuchen
| Programming Languages: Implementations, Logics, and Programs [[electronic resource] ] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / / edited by Hugh Glaser, Peter Hartel, Herbert Kuchen |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 428 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-69537-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Narrowing the narrowing space -- An object calculus with algebraic rewriting -- Inheritance and selective method dispatching in concurrent Haskell -- Overriding operators in a mixin-based framework -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent programming -- Transformation of divide & conquer to nested parallel loops -- Transforming lazy functions using comportment properties -- Transformations for efficient evaluations in functional programming -- Inline expansion: When and how? -- Higher-order value flow graphs -- Intuitionistic implication in abstract interpretation -- An open-ended finite domain constraint solver -- Semantics and compilation of recursive sequential streams in 81/2 -- Implementation of term rewritings with the evaluation strategy -- Reflections on reflections -- Evaluation under lambda abstraction -- Selective recomputation for handling side-effects in parallel logic programs -- Tracing lazy functional computations using redex trails -- Functional programming and geometry -- Where do I begin? A problem solving approach in teaching functional programming -- Teaching functional and logic programming with a single computation model -- Logic implemented functionally -- DrScheme: A pedagogic programming environment for scheme -- An editor for helping novices to learn standard ML -- Introducing the declarative dungeon -- A pragmatic approach to compilation of Erlang -- Formal translations described by translation grammars with LR(k) input grammars -- Automatic run-time code generation in object-oriented languages. |
| Record Nr. | UNINA-9910144918603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages: Implementations, Logics, and Programs [[electronic resource] ] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / / edited by Hugh Glaser, Peter Hartel, Herbert Kuchen
| Programming Languages: Implementations, Logics, and Programs [[electronic resource] ] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / / edited by Hugh Glaser, Peter Hartel, Herbert Kuchen |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 428 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-69537-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Narrowing the narrowing space -- An object calculus with algebraic rewriting -- Inheritance and selective method dispatching in concurrent Haskell -- Overriding operators in a mixin-based framework -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent programming -- Transformation of divide & conquer to nested parallel loops -- Transforming lazy functions using comportment properties -- Transformations for efficient evaluations in functional programming -- Inline expansion: When and how? -- Higher-order value flow graphs -- Intuitionistic implication in abstract interpretation -- An open-ended finite domain constraint solver -- Semantics and compilation of recursive sequential streams in 81/2 -- Implementation of term rewritings with the evaluation strategy -- Reflections on reflections -- Evaluation under lambda abstraction -- Selective recomputation for handling side-effects in parallel logic programs -- Tracing lazy functional computations using redex trails -- Functional programming and geometry -- Where do I begin? A problem solving approach in teaching functional programming -- Teaching functional and logic programming with a single computation model -- Logic implemented functionally -- DrScheme: A pedagogic programming environment for scheme -- An editor for helping novices to learn standard ML -- Introducing the declarative dungeon -- A pragmatic approach to compilation of Erlang -- Formal translations described by translation grammars with LR(k) input grammars -- Automatic run-time code generation in object-oriented languages. |
| Record Nr. | UNISA-996465769203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sharing of ribotype patterns of Escherichia coli isolates during baseflow and stormflow conditions [[electronic resource] /] / by Peter G. Hartel ... [and others] ; prepared in cooperation with the U.S. Department of the Interior, National Park Service, University of Georgia
| Sharing of ribotype patterns of Escherichia coli isolates during baseflow and stormflow conditions [[electronic resource] /] / by Peter G. Hartel ... [and others] ; prepared in cooperation with the U.S. Department of the Interior, National Park Service, University of Georgia |
| Pubbl/distr/stampa | Reston, Va. : , : U.S. Dept. of the Interior, U.S. Geological Survey, , 2004 |
| Descrizione fisica | iii, 10 pages : digital, PDF file |
| Altri autori (Persone) | HartelPeter |
| Collana | Scientific investigations report |
| Soggetto topico |
Bacterial pollution of water - Chattahoochee River
Water - Pollution - Chattahoochee River |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910697508903321 |
| Reston, Va. : , : U.S. Dept. of the Interior, U.S. Geological Survey, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||