Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
Puzzlespiele
Halloween
Adventskalender
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
tiptoi
0,00 €*
Cover: 9783540430926 | Practical Aspects of Declarative Languages | Ramakrishnan (u. a.)
Rückseite: 9783540430926 | Practical Aspects of Declarative Languages | Ramakrishnan (u. a.)
Cover: 9783540430926 | Practical Aspects of Declarative Languages | Ramakrishnan (u. a.)
Rückseite: 9783540430926 | Practical Aspects of Declarative Languages | Ramakrishnan (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
Taschenbuch von C. R. Ramakrishnan (u. a.)
Sprache: Englisch

56,25 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:
Beschreibung
Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.
Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.
Inhaltsverzeichnis
Invited Talks.- Using a Declarative Language to Build an Experimental Analysis Tool.- How to Talk to Your Computer so that It Will Listen.- Single-Threaded Objects in ACL2.- Regular Papers.- Modeling Engineering Structures with Constrained Objects.- Compiler Construction in Higher Order Logic Programming.- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project.- Semantics-Based Filtering: Logic Programming's Killer App.- Linear Scan Register Allocation in a High-Performance Erlang Compiler.- Compiling Embedded Programs to Byte Code.- Typed Combinators for Generic Traversal.- Event-Driven FRP.- Adding Apples and Oranges.- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.- A Better XML Parser through Functional Programming.- Functional Approach to Texture Generation.- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.- A High-Level Generic Interface to External Programming Languages for ECLiPSe.- A Debugging Scheme for Declarative Equation Based Modeling Languages.- Segment Order Preserving and Generational Garbage Collection for Prolog.- Exploiting [...] Control and Data Structures in Logic Programs.- Suspending and Resuming Computations in Engines for SLG Evaluation.
Details
Erscheinungsjahr: 2002
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9783540430926
ISBN-10: 354043092X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Krishnamurthi, Shriram
Ramakrishnan, C. R.
Redaktion: Ramakrishnan, C. R.
Krishnamurthi, Shriram
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Heidelberg, Tiergartenstr. 17, D-69121 Heidelberg, buchhandel-buch@springer.com
Maße: 235 x 155 x 20 mm
Von/Mit: C. R. Ramakrishnan (u. a.)
Erscheinungsdatum: 09.01.2002
Gewicht: 0,552 kg
Artikel-ID: 103834490
Inhaltsverzeichnis
Invited Talks.- Using a Declarative Language to Build an Experimental Analysis Tool.- How to Talk to Your Computer so that It Will Listen.- Single-Threaded Objects in ACL2.- Regular Papers.- Modeling Engineering Structures with Constrained Objects.- Compiler Construction in Higher Order Logic Programming.- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project.- Semantics-Based Filtering: Logic Programming's Killer App.- Linear Scan Register Allocation in a High-Performance Erlang Compiler.- Compiling Embedded Programs to Byte Code.- Typed Combinators for Generic Traversal.- Event-Driven FRP.- Adding Apples and Oranges.- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.- A Better XML Parser through Functional Programming.- Functional Approach to Texture Generation.- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.- A High-Level Generic Interface to External Programming Languages for ECLiPSe.- A Debugging Scheme for Declarative Equation Based Modeling Languages.- Segment Order Preserving and Generational Garbage Collection for Prolog.- Exploiting [...] Control and Data Structures in Logic Programs.- Suspending and Resuming Computations in Engines for SLG Evaluation.
Details
Erscheinungsjahr: 2002
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9783540430926
ISBN-10: 354043092X
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Krishnamurthi, Shriram
Ramakrishnan, C. R.
Redaktion: Ramakrishnan, C. R.
Krishnamurthi, Shriram
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Heidelberg, Tiergartenstr. 17, D-69121 Heidelberg, buchhandel-buch@springer.com
Maße: 235 x 155 x 20 mm
Von/Mit: C. R. Ramakrishnan (u. a.)
Erscheinungsdatum: 09.01.2002
Gewicht: 0,552 kg
Artikel-ID: 103834490
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783834805270 | SQL mit ORACLE | Wolf-Michael Kähler | Taschenbuch | xi | Deutsch
SQL mit ORACLE
Eine aktuelle Einführung in die Arbeit mit relationalen und objektrelationalen Datenbanken unter Einsatz von ORACLE...
EAN: 9783834805270
Sprache: Deutsch
Von/Mit: Wolf-Michael Kähler

44,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783528245436 | Turbo Pascal Tools | Markus Weber | Taschenbuch | 317 S. | Deutsch
Turbo Pascal Tools
Einsatz von Turbo Pascal in der naturwissenschaftlichen Praxis
EAN: 9783528245436
Sprache: Deutsch
Von/Mit: Markus Weber

54,99 €*

Lieferzeit 2-4 Werktage

Buch
-10 %
Cover: 9783642414664 | Situational Method Engineering | Brian Henderson-Sellers (u. a.) | xx
Situational Method Engineering
EAN: 9783642414664
Sprache: Englisch
Von/Mit: Brian Henderson-Sellers (u. a.)

47,95 €* UVP 53,49 €

Lieferzeit 1-2 Wochen

Taschenbuch
-13 %
Cover: 9781447168454 | Crowd Simulation | Soraia Raupp Musse (u. a.) | Taschenbuch | xv
Crowd Simulation
EAN: 9781447168454
Sprache: Englisch
Von/Mit: Soraia Raupp Musse (u. a.)

93,45 €* UVP 106,99 €

Lieferzeit 4-7 Werktage

Buch
-15 %
Cover: 9783030665142 | Black Box Optimization, Machine Learning, and No-Free Lunch Theorems
Black Box Optimization, Machine Learning, and No-Free Lunch Theorems
EAN: 9783030665142
Sprache: Englisch
Von/Mit: Panos M. Pardalos (u. a.)

117,95 €* UVP 139,09 €

Lieferzeit 1-2 Wochen

Buch
Cover: 9781802623666 | Designing XR | Peter Zakrzewski | Buch | Gebunden | Englisch | 2022
Designing XR
EAN: 9781802623666
Sprache: Englisch
Von/Mit: Peter Zakrzewski

122,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781510461826 | Reid, G: How to code in Python: GCSE, iGCSE, National 4/5 an | Reid
Reid, G: How to code in Python: GCSE, iGCSE, National 4/5 an
EAN: 9781510461826
Von/Mit: Greg Reid

22,74 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780128007297 | Systems Programming | Richard Anthony | Taschenbuch | Englisch
Systems Programming
Designing and Developing Distributed Applications
EAN: 9780128007297
Sprache: Englisch
Von/Mit: Richard Anthony

81,40 €*

Lieferzeit 4-7 Werktage

Bundle
Cover: 9789819716692 | Quantum Mechanics | From Atoms to Nuclei | Umberto Lombardo (u. a.)
Quantum Mechanics
From Atoms to Nuclei
EAN: 9789819716692
Sprache: Englisch
Von/Mit: Umberto Lombardo (u. a.)

93,45 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...