Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003444817/catalog> ?p ?o. }

• catalog abstract ""This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth."--PUBLISHER'S WEBSITE.".
• catalog contributor b4996186.
• catalog created "c1993.".
• catalog date "1993".
• catalog date "c1993.".
• catalog dateCopyrighted "c1993.".
• catalog description ""This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth."--PUBLISHER'S WEBSITE.".
• catalog description "Includes bibliographical references.".
• catalog description "On the use of theory based systems to traverse educational gaps in computer related activities / Peter E. Lauer -- Reflections on standard ML / David B. MacQueen -- An introduction to the high-level language standard ML / John Ophel -- Generating an algorithm for executing graphical models / Jawahar Malhotra and Robert M. Shapiro -- Modeling a NORAD command post using SADT and colored petri nets / Robert M. Shapiro, Valerio O. Pinci and Roberto Mameli -- Propositional temporal logics and their use in model checking / Jeffery Zucker -- The propositional ư-calculus and its use in model checking / Jeffery Zucker -- Analyzing concurrent systems using the concurrency workbench / Rance Cleaveland -- Reasoning about functional programs in Nuprl / Douglas J. Howe -- Concurrent ML: design, application and semantics / John H. Reppy -- A taste of rewrite systems / Nachum Dershowitz.".
• catalog description "Programming in OBJ and Maude / Tim Winkler -- Supporting the attribute grammar programming paradigm in a lazy functional programming language / R.A. Frost and S. Karamatos -- Specification and simulation with ExSpect / K.M. van Hee, P.M.P. Rambags and P.A.C. Verkoulen -- An overview of Larch / Stephen J. Garland, John V. Guttag and James J. Horning -- The EVES system / Sentot Kromodimoeljo [and others] -- A systolizing compilation scheme for nested loops with linear bounds / Michael Barnett and Christian Lengauer.".
• catalog extent "x, 398 p. :".
• catalog identifier "0387568832 (New York : alk. paper)".
• catalog identifier "3540568832 (Berlin : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 693".
• catalog issued "1993".
• catalog issued "c1993.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "Automatic theorem proving Congresses.".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer simulation Congresses.".
• catalog subject "Functional programming (Computer science) Congresses.".
• catalog subject "Parallel programming (Computer science) Congresses.".
• catalog subject "QA76.6 .F853 1993".
• catalog tableOfContents "On the use of theory based systems to traverse educational gaps in computer related activities / Peter E. Lauer -- Reflections on standard ML / David B. MacQueen -- An introduction to the high-level language standard ML / John Ophel -- Generating an algorithm for executing graphical models / Jawahar Malhotra and Robert M. Shapiro -- Modeling a NORAD command post using SADT and colored petri nets / Robert M. Shapiro, Valerio O. Pinci and Roberto Mameli -- Propositional temporal logics and their use in model checking / Jeffery Zucker -- The propositional ư-calculus and its use in model checking / Jeffery Zucker -- Analyzing concurrent systems using the concurrency workbench / Rance Cleaveland -- Reasoning about functional programs in Nuprl / Douglas J. Howe -- Concurrent ML: design, application and semantics / John H. Reppy -- A taste of rewrite systems / Nachum Dershowitz.".
• catalog tableOfContents "Programming in OBJ and Maude / Tim Winkler -- Supporting the attribute grammar programming paradigm in a lazy functional programming language / R.A. Frost and S. Karamatos -- Specification and simulation with ExSpect / K.M. van Hee, P.M.P. Rambags and P.A.C. Verkoulen -- An overview of Larch / Stephen J. Garland, John V. Guttag and James J. Horning -- The EVES system / Sentot Kromodimoeljo [and others] -- A systolizing compilation scheme for nested loops with linear bounds / Michael Barnett and Christian Lengauer.".
• catalog title "Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".