Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / / Jacques Garrigue, Manuel Hermenegildo (editors) |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] |
Descrizione fisica | xi, 340p |
Disciplina | 005.115 |
Collana | Lecture notes in computer science |
Soggetto topico | Logic programming |
ISBN | 3-540-78969-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483616903321 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / / Jacques Garrigue, Manuel Hermenegildo (editors) |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] |
Descrizione fisica | xi, 340p |
Disciplina | 005.115 |
Collana | Lecture notes in computer science |
Soggetto topico | Logic programming |
ISBN | 3-540-78969-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465943403316 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Practical Aspects of Declarative Languages [[electronic resource] ] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / / edited by Manuel Hermenegildo, Daniel Cabeza |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (VIII, 272 p.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
ISBN | 3-540-30557-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views -- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics -- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization -- Solving Collaborative Fuzzy Agents Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its Structure -- A Full Pattern-Based Paradigm for XML Query Processing -- Type Class Directives. |
Record Nr. | UNISA-996466019703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / / Manuel Hermenegildo, Daniel Cabeza (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
Descrizione fisica | 1 online resource (VIII, 272 p.) |
Disciplina | 005.13 |
Altri autori (Persone) |
HermenegildoManuel
CabezaDaniel |
Collana | Lecture notes in computer science |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN | 3-540-30557-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views -- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics -- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization -- Solving Collaborative Fuzzy Agents Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its Structure -- A Full Pattern-Based Paradigm for XML Query Processing -- Type Class Directives. |
Altri titoli varianti | PADL 2005 |
Record Nr. | UNINA-9910483288003321 |
Berlin ; ; New York, : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages |
Autore | Hermenegildo Manuel |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2010 |
Descrizione fisica | 1 online resource (520 p.;) |
Collana | ACM Conferences |
Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | POPL '10 |
Record Nr. | UNINA-9910376247303321 |
Hermenegildo Manuel
![]() |
||
[Place of publication not identified], : Association for Computing Machinery, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Language Implementation and Logic Programming [[electronic resource] ] : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / / edited by Manuel Hermenegildo, Jaan Penjam |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (XIV, 474 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computer logic Computer programming Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-48695-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Concurrent constraint programming -- Specifications using multiple-conclusion logic programs -- Viewing a program transformation system at work -- A portable and efficient implementation of KL1 -- Why Multi-SLD beats SLD (even on a uniprocessor) -- Abstracting synchronization in concurrent constraint programming -- A novel term compression scheme and data representation in the BinWAM -- A simple and efficient copying garbage collector for prolog -- Deriving residual reference count garbage collectors -- RML — A new language and implementation for Natural Semantics -- Towards a provably correct compiler for OBJ3 -- An implementation technique for a class of bottom-up procedures -- Partial deduction and driving are equivalent -- Partial continuations as the difference of continuations a duumvirate of control operators -- Hand-writing program generator generators -- A logic for encapsulation in object oriented languages -- Annotated constraint logic programming applied to temporal reasoning -- Clp(B): Combining simplicity and efficiency in boolean Constraint solving -- Handling preferences in constraint logic programming with relational optimization -- Improving search for job-shop scheduling with CLP(FD) -- Implementations of program composition operations -- Sleepers: a versatile high-level control mechanism -- Improving arithmetic performance using fine-grain unfolding -- Unfold/fold transformations for definite clause programs -- A graph reduction technique with sharing across narrowings for functional-logic languages -- Combining lazy narrowing and simplification -- Combining lazy narrowing with disequality constraints -- Abstracting numerical values in CLP(H,N) -- Dynamic dependence in term rewriting systems and its application to program slicing -- Abstracting s-semantics using a model-theoretic approach -- Using higher-order control flow analysis when compiling functional languages -- Readable, runnable requirements specifications in SPILL-2 -- A system to visualize and interact with prolog programs -- Semantic-based static program transformations for memory space and run time optimization in hybrid languages -- Towards a constraint functional logic compiler for symbolic computation systems -- PROMAL — Programming in modal action logic -- Implementing the synthesis of properties in unfold/fold transformations -- Shared memory system for Babel: a VHDL specification -- Towards integrating functional and logic styles using relation -- Tabulation of functions in definite clause programs -- Flang system: A new version. |
Record Nr. | UNISA-996466113603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages: Implementations, Logics and Programs [[electronic resource] ] : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / / edited by Manuel Hermenegildo, S.Doaitse Swierstra |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XII, 476 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Mathematical logic Computer science—Mathematics Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Artificial Intelligence |
ISBN | 3-540-45048-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A generic program for sequential decision processes -- Parsing visual languages with constraint multiset grammars -- Programming with constructor classes -- Towards a taxonomy of functional language implementations -- A ?-calculus à la de Bruijn with explicit substitutions -- A verified implementation of narrowing -- A new calculus for semantic matching -- A complete narrowing calculus for higher-order functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation of jump tables for fast indexing of logic programs -- An abstract machine for Oz -- Uniform PERs and comportment analysis -- Uniqueness type inference -- Modes of comprehension: Mode analysis of arrays and array comprehensions -- Better consumers for deforestation -- Efficient compile-time garbage collection for arbitrary data structures -- Efficient multi-level generating extensions for program specialization -- Mechanically verifying the correctness of an offline partial evaluator -- A semantic model of binding times for safe partial evaluation -- Gadgets: Lazy functional components for graphical user interfaces -- Lightweight GUIs for functional programming -- Local linear logic for locality consciousness in multiset transformation -- The notion of floundering for SLDNF-resolution revisited -- Minimal set unification -- Goal-directed query processing in disjunctive logic databases -- A dataflow semantics for constraint logic programs -- A functional framework for deterministically interleaved interactive programs -- A debugging model for lazy narrowing -- Evaluation of expressions in a multiparadigm framework -- An expression-or-parallel implementation for a functional logic language -- Attributed models of executable specifications -- Approximating constraint logic programs using polymorphic types and regular descriptions -- Performance of a data-parallel concurrent constraint programming system -- A portable implementation of memoing evaluation. |
Record Nr. | UNISA-996466160403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static Analysis [[electronic resource] ] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / / edited by Manuel Hermenegildo, German Puebla |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 536 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Programming languages (Electronic computers) Computer logic Software engineering Mathematical logic Computer programming Database Management Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45789-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static Program Analysis via 3-Valued Logic -- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges -- An Algebraic Approach to the Static Analysis of Concurrent Software -- Polynomial Constants Are Decidable -- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi -- Nonuniform Alias Analysis of Recursive Data Structures and Arrays -- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes -- Automated Verification of Concurrent Linked Lists with Counters -- Backward Type Inference Generalises Type Checking -- More Precise Yet Efficient Type Inference for Logic Programs -- A Few Graph-Based Relational Numerical Abstract Domains -- Static Analysis of the Numerical Stability of Loops -- On Termination of Logic Programs with Floating Point Computations -- Modular Control Flow Analysis for Libraries -- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages -- Compactly Representing First-Order Structures for Static Analysis -- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library -- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis -- Improving the Precision of Equality-Based Dataflow Analyses -- Guaranteed Optimization: Proving Nullspace Properties of Compilers -- Representation Analysis for Coercion Placement -- Pipeline Modeling for Timing Analysis -- Analysing Approximate Confinement under Uniform Attacks -- An Improved Constraint-Based System for the Verification of Security Protocols -- From Secrecy to Authenticity in Security Protocols -- Security Typings by Abstract Interpretation -- Static Confidentiality Enforcement for Distributed Programs -- Refinement of LTL Formulas for Abstract Model Checking -- Making Abstract Model Checking Strongly Preserving -- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties -- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation -- States vs. Traces in Model Checking by Abstract Interpretation -- Reuse of Results in Termination Analysis of Typed Logic Programs -- Finiteness Analysis in Polynomial Time -- Detecting Optimal Termination Conditions of Logic Programs. |
Record Nr. | UNISA-996465509503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / / edited by Manuel Hermenegildo, German Puebla |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 536 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Programming languages (Electronic computers) Computer logic Software engineering Mathematical logic Computer programming Database Management Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45789-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static Program Analysis via 3-Valued Logic -- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges -- An Algebraic Approach to the Static Analysis of Concurrent Software -- Polynomial Constants Are Decidable -- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi -- Nonuniform Alias Analysis of Recursive Data Structures and Arrays -- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes -- Automated Verification of Concurrent Linked Lists with Counters -- Backward Type Inference Generalises Type Checking -- More Precise Yet Efficient Type Inference for Logic Programs -- A Few Graph-Based Relational Numerical Abstract Domains -- Static Analysis of the Numerical Stability of Loops -- On Termination of Logic Programs with Floating Point Computations -- Modular Control Flow Analysis for Libraries -- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages -- Compactly Representing First-Order Structures for Static Analysis -- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library -- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis -- Improving the Precision of Equality-Based Dataflow Analyses -- Guaranteed Optimization: Proving Nullspace Properties of Compilers -- Representation Analysis for Coercion Placement -- Pipeline Modeling for Timing Analysis -- Analysing Approximate Confinement under Uniform Attacks -- An Improved Constraint-Based System for the Verification of Security Protocols -- From Secrecy to Authenticity in Security Protocols -- Security Typings by Abstract Interpretation -- Static Confidentiality Enforcement for Distributed Programs -- Refinement of LTL Formulas for Abstract Model Checking -- Making Abstract Model Checking Strongly Preserving -- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties -- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation -- States vs. Traces in Model Checking by Abstract Interpretation -- Reuse of Results in Termination Analysis of Typed Logic Programs -- Finiteness Analysis in Polynomial Time -- Detecting Optimal Termination Conditions of Logic Programs. |
Record Nr. | UNINA-9910143891803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / / edited by Gilles Barthe, Manuel Hermenegildo |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 397 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Algorithms Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming |
ISBN |
1-280-38541-3
9786613563330 3-642-11319-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations. |
Altri titoli varianti | VMCAI'10 |
Record Nr. | UNISA-996465628103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|