Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / / edited by Tom Schrijvers, Peter Thiemann |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 333 p. 69 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence Programming Techniques |
ISBN | 3-642-29822-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | FLOPS'12 |
Record Nr. | UNISA-996465554703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Partial Evaluation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / / edited by Olivier Danvy, Robert Glück, Peter Thiemann |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XII, 520 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 3-540-70589-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation. |
Record Nr. | UNISA-996465629103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Partical evolution: practice and theory : diku 1998 international summer school, copenhagen, denmark, june 29-july 10, 1998 / / edited by John Hatcliff, Torben Mogensen, Peter Thiemann |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (444 p.) |
Disciplina | 929.605 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Computer software - Evaluation |
ISBN |
1-280-95653-4
9786610956531 3-540-47018-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Practice and Experience Using Partial Evaluators -- Partial Evaluation: Concepts and Applications -- An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language -- Similix: A Self-Applicable Partial Evaluator for Scheme -- C-Mix -- Logic Program Specialisation -- Theory, Systems, and Applications -- Inherited Limits -- Partial Evaluation for the Lambda Calculus -- Partial Evaluation of Hardware -- Partial Evaluation in Aircraft Crew Planning -- to Supercompilation -- Advanced Logic Program Specialisation -- A Type Specialisation Tutorial -- Multi-Level Specialization -- Faster Fourier Transforms via Automatic Program Specialization -- Eta-Redexes in Partial Evaluation -- Type-Directed Partial Evaluation -- Aspects of the PGG System: Specialization for Standard Scheme. |
Record Nr. | UNINA-9910144126103321 |
Berlin, Germany : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Partical evolution: practice and theory : diku 1998 international summer school, copenhagen, denmark, june 29-july 10, 1998 / / edited by John Hatcliff, Torben Mogensen, Peter Thiemann |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (444 p.) |
Disciplina | 929.605 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Computer software - Evaluation |
ISBN |
1-280-95653-4
9786610956531 3-540-47018-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Practice and Experience Using Partial Evaluators -- Partial Evaluation: Concepts and Applications -- An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language -- Similix: A Self-Applicable Partial Evaluator for Scheme -- C-Mix -- Logic Program Specialisation -- Theory, Systems, and Applications -- Inherited Limits -- Partial Evaluation for the Lambda Calculus -- Partial Evaluation of Hardware -- Partial Evaluation in Aircraft Crew Planning -- to Supercompilation -- Advanced Logic Program Specialisation -- A Type Specialisation Tutorial -- Multi-Level Specialization -- Faster Fourier Transforms via Automatic Program Specialization -- Eta-Redexes in Partial Evaluation -- Type-Directed Partial Evaluation -- Aspects of the PGG System: Specialization for Standard Scheme. |
Record Nr. | UNISA-996466088403316 |
Berlin, Germany : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming / / David Sabel, Peter Thiemann |
Autore | Sabel David |
Pubbl/distr/stampa | New York, NY : , : ACM, , 2018 |
Descrizione fisica | 1 online resource (306 pages) |
Disciplina | 005.1 |
Soggetto topico | Software engineering |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910375674803321 |
Sabel David
![]() |
||
New York, NY : , : ACM, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems [[electronic resource] ] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / / edited by Peter Thiemann |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 806 p. 32 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Software engineering Computer programming Compilers and Interpreters Computer Science Logic and Foundations of Programming Software Engineering Theory of Computation Programming Techniques |
ISBN | 3-662-49498-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulating Cities: A Software Engineering Perspective -- Regular Programming for Quantitative Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs -- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations -- Needle & Knot: Binder boilerplate tied up -- On the Relative Expressiveness of Higher-Order Session Processes -- A Realizability Model for a Semantical Value Restriction -- Probabilistic functions and cryptographic oracles in higher order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs -- Functional Big-step Semantics -- Classical by-need -- Macrofication: Refactoring by Reverse Macro Expansion -- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs -- The Expressive Power of Monotonic Parallel Composition. |
Record Nr. | UNISA-996466058003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / / edited by Peter Thiemann |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 806 p. 32 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Software engineering Computer programming Compilers and Interpreters Computer Science Logic and Foundations of Programming Software Engineering Theory of Computation Programming Techniques |
ISBN | 3-662-49498-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulating Cities: A Software Engineering Perspective -- Regular Programming for Quantitative Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs -- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations -- Needle & Knot: Binder boilerplate tied up -- On the Relative Expressiveness of Higher-Order Session Processes -- A Realizability Model for a Semantical Value Restriction -- Probabilistic functions and cryptographic oracles in higher order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs -- Functional Big-step Semantics -- Classical by-need -- Macrofication: Refactoring by Reverse Macro Expansion -- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs -- The Expressive Power of Monotonic Parallel Composition. |
Record Nr. | UNINA-9910484425003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|