05368oam 2200565 450 991014347680332120210805110030.03-540-49201-110.1007/3-540-49201-1(CKB)1000000000211049(SSID)ssj0000325787(PQKBManifestationID)11265476(PQKBTitleCode)TC0000325787(PQKBWorkID)10253392(PQKB)11446568(DE-He213)978-3-540-49201-6(MiAaPQ)EBC3071822(MiAaPQ)EBC6495009(PPN)15520128X(EXLCZ)99100000000021104920210805d1999 uy 0engurnn|008mamaatxtccrPractical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings /Gopal Gupta (editor)1st ed. 1998.Berlin ;Heidelberg :Springer,[1999]©19991 online resource (VIII, 376 p.) Lecture Notes in Computer Science,0302-9743 ;1551Bibliographic Level Mode of Issuance: Monograph3-540-65527-1 Includes bibliographical references and index.Software Engineering -- Automated Benchmarking of Functional Data Structures -- np-spec: An Executable Specification Language for Solving All Problems in NP -- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program -- Multi-agent Systems Development as a Software Engineering Enterprise -- Innovative Applications I -- From Functional Animation to Sprite-Based Display -- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators -- Lambda in Motion: Controlling Robots with Haskell -- Implementation -- CHAT: The Copy-Hybrid Approach to Tabling -- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems -- Or-Parallelism within Tabling -- Declarative Query Processing -- Mnesia — A Distributed Robust DBMS for Telecommunications Applications -- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language -- Implementing a Declarative String Query Language with String Restructuring -- Systems Applications -- Client-Side Web Scripting with HaskellScript -- MCORBA: A CORBA Binding for Mercury -- Analysis -- Dead Code Elimination through Dependent Types -- Multiple Specialization of WAM Code -- A Flexible Framework for Dynamic and Static Slicing of Logic Programs -- Innovative Applications II -- Applying Logic Programming to Derive Novel Functional Information of Genomes -- An Application of Action Theory to the Space Shuttle -- Developing a Declarative Rule Language for Applications in Product Configuration -- Constraint Programming -- University Timetabling Using Constraint Logic Programming -- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing -- Using Constraints in Local Proofs for CLP Debugging -- Declarative Languages and Software Engineering (Invited) -- A Return to Elegance: The Reapplication of Declarative Notation to Software Design -- ECLiPSe: Declarative Specification and Scaleable Implementation.Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.Lecture Notes in Computer Science,0302-9743 ;1551Programming languages (Electronic computers)SemanticsCongressesProgramming languages (Electronic computers)Semantics005.131Gupta GopalPADL '99MiAaPQMiAaPQUtOrBLWBOOK9910143476803321Practical Aspects of Declarative Languages772495UNINA03965 am 2200493 n 450 9910583199803321202201032-271-14252-02-271-09373-210.4000/books.editionscnrs.52900(CKB)4100000009934813(FrMaCLE)OB-editionscnrs-52900(oapen)https://directory.doabooks.org/handle/20.500.12854/91795(PPN)267945515(EXLCZ)99410000000993481320220713j|||||||| ||| 0freuu||||||m||||txtrdacontentcrdamediacrrdacarrierJoie et liberté chez Bergson et Spinoza /Lionel AstesianoParis CNRS Éditions20221 online resource (464 p.) CNRS Philosophie2-271-09070-9 Pt. 1.Spinoza selon Bergson.1.Spinoza dans l'oeuvre de Bergson.Les différences --Essai sur les données immédiates de la conscience --L'Évolution créatrice --"L'intuition philosophique" dans La pensée et le mouvant --2.Spinoza dans les cours de Bergson.Les cours en lycée --Les cours au Collège de France --Le cours sur le Traité de la réforme de l'entendement --Le cours de 1911-1912 sur l'Éthique --Pt. 2.La communauté d'intuition.1.L'intuition.Le langage --La critique du langage et des idées générales chez Spinoza --La critique du langage et des idées générales chez Bergson --L'intuition : un effort de précision --La critique du finalisme --La méthode : vérité et approfondissement --L'intelligibilité du réel --2.La joie.Spinoza : un affect ontologique --Bergson : du sentiment à l'être --Sentiments, émotions, passions --Les trois sens de la joie --La critique des idées négatives et la résolution des faux problèmes --Joie et éternité --3.La liberté.Spinoza --La liberté politique --La liberté métaphysique --Bergson --Le niveau politique --La critique du possible."En affirmant que "tout philosophe a deux philosophies : la sienne et celle de Spinoza", Bergson exprime avant tout que le philosophe se doit de rompre avec une pensée dogmatique qui n'a plus lieu d'être et que Spinoza incarne tout particulièrement. Le spinozisme manifeste la pente de l'intelligence lorsqu'elle suit sa logique propre sans être rectifiée par le recours à l'expérience. Or, c'est cette démarche systématique que la philosophie doit désormais abandonner. Bergson est néanmoins hanté par la pensée de Spinoza et le rapport qu'il entretient avec lui, en particulier dans ses cours au Collège de France, met en évidence un lien bien plus complexe et subtil qu'un simple rapport d'opposition. Contre la tendance à la clôture et à la systématicité, Bergson va alors privilégier chez Spinoza la tendance à l'ouverture et au mysticisme. En mettant en lumière cet aspect, cet ouvrage montre la sympathie intellectuelle qui réunit ces penseurs autour des notions de joie et de liberté. C'est pourquoi la figure du Christ va constituer un modèle non seulement éthique mais ontologique. Le terme de mysticisme, chez ces deux auteurs, ne désigne ni le refus de l'expérience ni celui des sciences positives mais renvoie à un rationalisme élargi jusqu'à l'amour du réel."--Page 4 of cover.JoyPhilosophyLibertyPhilosophylibertéSpinozamysticismejoieBergsonJoyPhilosophy.LibertyPhilosophy.08.24bclAstesiano Lionel1250938FR-FrMaCLEBOOK9910583199803321Joie et liberté chez Bergson et Spinoza2899679UNINA