"Abstract Interpretation of Polymorphic Functions"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Efficient Polymorphic Calls	Karel Driesen	2001	Springer US
Static Analysis of Software: The Abstract Interpretation	Jean-Louis Boulanger	2011	John Wiley & Sons
Lazy Functional Languages: Abstract Interpretation and Compilation	Burn, Geoffrey	1991	MIT Press
Lazy functional languages: abstract interpretation and compilation	Geoffrey Burn	1991	Pitman;MIT Press
Polymorphic type inference and semi-unification.	Fritz Henglein	1989	Courant Institute of Mathematical Sciences, New York University
Securitizing balance of power theory: a polymorphic reconceptualization	Ilai Z. Saltzman	2011	Lexington Books
Almost Automorphic and Almost Periodic Functions in Abstract Spaces	Gaston M. N'Guérékata	2001	Springer US
Almost Periodic and Almost Automorphic Functions in Abstract Spaces	Gaston M. N'Guérékata	2nd ed. 2021	Springer International Publishing
Sets, Functions and Logic: An introduction to abstract mathematics	Keith Devlin (auth.)	1992	Springer US
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols	Benjamin Aziz	1st ed. 2022	Springer International Publishing
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation	Anne Mulkers	1993	Springer Berlin Heidelberg
Live data structures in logic programs: derivation by means of abstract interpretation /	Mulkers, Anne,	[1993], ©1993.	Springer-Verlag,
Almost Automorphic Type and Almost Periodic Type Functions in Abstract Spaces	Toka Diagana	2013	Springer International Publishing
Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition	Keith Devlin	2003	Routledge
The living plant: a description and interpretation of its functions and structure	William Francis Ganong	1913	H. Holt
The living plant: a description and interpretation of its functions and structure	William Francis Ganong	1913	H. Holt
Real and Abstract Analysis: A modern treatment of the theory of functions of a real variable	E. Hewitt; K. Stromberg	1965	Springer Berlin Heidelberg
Real and Abstract Analysis: A modern treatment of the theory of functions of a real variable	Edwin Hewitt, Karl Stromberg (auth.)	1965	Springer-Verlag Berlin Heidelberg
Real and abstract analysis: a modern treatment of the theory of functions of a real variable	Edwin Hewitt, Karl R. Stromberg	1965	Springer-Verlag
Real and abstract analysis: a modern treatment of the theory of functions of a real variable
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Abstract Interpretation of Polymorphic Functions	Gebreselassie Baraki; John Hughes	Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland	Kei Davis; John Hughes	1990	Springer London
A note on abstract interpretation of polymorphic functions	Gebreselassie Baraki	Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings	John Hughes	1991	Springer Berlin Heidelberg
Polymorphic typing by abstract interpretation	B. Monsuez	Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings	Rudrapatna Shyamasundar	1992	Springer Berlin Heidelberg
Polymorphic Functions		Programming Scala: Scalability = Functional Programming + Objects	Dean Wampler	2021	O'Reilly Media
Polymorphic Functions		Category Theory for Programmers	Bartosz Milewski; Igal Tabachnik (ed.)	2018
Polymorphic Functions		Category Theory for Programmers	Bartosz Milewski; Igal Tabachnik	2019	self-published
Polymorphic functions		Learn Scala Programming	Slava Schmidt	2018	Packt Publishing
On Polymorphic Recursion, Type Systems, and Abstract Interpretation	Marco Comini; Ferruccio Damiani; Samuel Vrech	Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings	María Alpuente; Germán Vidal-Oriola	2008	Springer Berlin Heidelberg
Polymorphic type inference in Prolog by abstract interpretation	Kenji Horiuchi; Tadashi Kanamori	Logic Programming ' 87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987	Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki	1988	Springer Berlin Heidelberg
Classically polymorphic functions		Mastering the C++17 STL: Make full use of the standard library components in C++17	Arthur O'Dwyer	2017	Packt Publishing
Polymorphic SQL functions		Learn PostgreSQL: Build and manage high-performance database solutions using PostgreSQL 12 and 13	Luca Ferrari, Enrico Pirozzi	2020	Packt Publishing
711 Polymorphic Functions		Compiler Construction	K.V.N. Sunitha	2013	Pearson India
Abstract interpretation		Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation	Anne Mulkers	1993	Springer Berlin Heidelberg
Abstract Interpretation	Flemming Nielson; Hanne Riis Nielson; Chris Hankin	Principles of Program Analysis	Flemming Nielson; Hanne Riis Nielson; Chris Hankin	1999	Springer Berlin Heidelberg
Abstract Interpretation	Tobias Nipkow; Gerwin Klein	Concrete Semantics: With Isabelle/HOL	Tobias Nipkow; Gerwin Klein	2014	Springer International Publishing
Abstract Interpretation		Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems	Heather Adkins; Betsy Beyer; Paul Blankinship; Ana Oprea; Piotr Lewandowski; Adam Stubblefield	2020	O'Reilly Media
Abstract Interpretation	Nathan Wasser; Reiner Hähnle; Richard Bubel	Deductive Software Verification – The KeY Book: From Theory to Practice	Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich	1st ed. 2016	Springer International Publishing
Abstract interpretation		Automatic Parallelization: An Overview of Fundamental Compiler Techniques	Samuel P. Midkiff	2012	Morgan & Claypool
Abstract Interpretation		The Implementation of Icon and Unicon	Ralph and Madge T. Griswold, Kenneth W. Walker, Clinton L. Jeffery, Michael D. Wilder, Anthony T. Jones, Jafar Al Gharaibeh	2019	Idaho University
A New Class of Functions for Abstract Interpretation	Jörg Köller; Markus Mohnen	Static Analysis: 6th International Symposium, SAS' 99, Venice, Italy, September 22-24, 1999, Proceedings	Agostino Cortesi; Gilberto File	1999	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Abstract Interpretation of Polymorphic Functions" - similar Books and Chapters