Results 11 to 20 of about 213,552 (301)
Geometric Abstraction: 1926-1942
, 1972 Photograph of the exhibition "Geometric Abstraction: 1926-1942," October 7-November 19, 1972, held at the Dallas Museum of Fine ...
Dallas Museum of Fine Arts
core +10 more sources
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
David Van Horn, Matthew Might
openaire +2 more sources
Abstract clones for abstract syntax
CoRR, 2021 To appear in the proceedings of FSCD 2021; 16 ...
Nathanael Arkor, Dylan McDermott
openaire +4 more sources
Abstraction of Observables [PDF]
, 2012 Making use of the laws of physical transactions, we study symmetrical many-points systems. Relation of group-theory to physical transactions in such symmetrical systems is dealt with.
Ganguly, Subhajit
core +1 more source
Systematic abstraction of abstract machines [PDF]
Journal of Functional Programming, 2012 Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages.
David Van Horn, Matthew Might
openaire +3 more sources
Abstraction and the Standard Model [PDF]
, 2013 We study the Standard Model in light of the Zero-Postulation of the Theory of Abstraction. Yukawa Coupling, chiral superfields, the SUSY model, Interacting Boson Models (IBMs), Clebsch-Gordan coefficients, Interacting Boson-Fermion Model (IBFM), etc ...
Ganguly, Subhajit +1 more
core +1 more source
Analysis of the Theory of Abstraction [PDF]
, 2011 In this paper,a few more implications of the laws of physical transactions as per the Theory of Abstraction are dealt with.Analysis of these implications suggests the existence of `hidden` mass and `hidden` energy in a given physical transaction ...
Ganguly, Subhajit
core +1 more source
L’attitudine “astratta” del paesaggio
Ri-vista: Ricerche per la Progettazione del Paesaggio, 2015 Calvino in his book, “Six memos for the next millennium”, speaks about a world made up of representations of images and forms. Against this biased or common vision, he says that he can only use “a weapon he knows well”: an idea of literature.
Valerio Morabito
doaj +1 more source
Abstraction, Declarative Observations and Algorithmic Problem Solving
Informatics in Education, 2021 The notion of algorithm may be perceived in different levels of abstraction. In the lower levels it is an operational set of instructions. In higher levels it may be viewed as an object with properties, solving a problem with characteristics.
David GINAT
doaj +1 more source
Abstraction Refinement Guided by a Learnt Probabilistic Model [PDF]
, 2015 The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction.
Grigore, R +6 more
core +1 more source