Filters








6,341,912 Hits in 3.4 sec

Abstraction abstracted

Russ Abbott, Chengyu Sun
2008 Proceedings of the 2nd international workshop on The role of abstraction in software engineering - ROA '08  
We can teach the use of pre-packaged abstractions. It is more difficult to teach the self-awareness necessary for inventing new abstractions. The process of building abstractions is bottom-up.  ...  An abstraction is the reification of and conceptualization of a distinction. We use the process of forming abstractions to make sense of the world, i.e., to form concepts.  ...  abstraction, and polymorphic abstraction.  ... 
doi:10.1145/1370164.1370171 fatcat:2775m7jphnh25f7sfnj6dkjema

Persistent Memory: Abstractions, Abstractions, and Abstractions

Yan Solihin
2019 IEEE Micro  
These abstractions evolved over decades and provide distinct efficiently views of the machine. I argue that utilizing NVMM requires similar layers of abstractions as well.  ...  I believe a PMO abstraction needs to adopt only necessary features from a file system and keep simple metadata. Beyond HLL, DSL abstraction should also be developed.  ...  The thesis of this paper is that how well systems and programs use NVMM depends on the design of abstractions.  ... 
doi:10.1109/mm.2018.2885589 fatcat:dj623pcsiffuhiixlxmdk7kdnu

Abstracting Abstract Machines [article]

David Van Horn, Matthew Might
2010 arXiv   pre-print
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines.  ...  For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique we call store-allocated continuations, leads to machines that abstract into static analyses  ...  abstracted state-space.  ... 
arXiv:1007.4446v2 fatcat:lrf375hox5htxdwuwevpqd2wre

Abstracting abstract control

James Ian Johnson, David Van Horn
2014 Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14  
We revise the abstracting abstract machines technique to target the stronger computational model of pushdown systems. In place of automata theory, we use only abstract machines and memoization.  ...  The "abstracting abstract machines" (AAM) approach to constructing static analyses has recently been proposed as a method to ameliorate the difficulty of designing analyses for such language features.  ...  The basic idea is that abstract machines implement a language's concrete semantics, so we transform them slightly so that they also implement a language's abstract semantics (thus "abstracting" abstract  ... 
doi:10.1145/2661088.2661098 dblp:conf/dls/JohnsonH14 fatcat:jftogwomxjhs3ob62mihglncom

Abstracting abstract control

James Ian Johnson, David Van Horn
2014 SIGPLAN notices  
We revise the abstracting abstract machines technique to target the stronger computational model of pushdown systems. In place of automata theory, we use only abstract machines and memoization.  ...  The "abstracting abstract machines" (AAM) approach to constructing static analyses has recently been proposed as a method to ameliorate the difficulty of designing analyses for such language features.  ...  The basic idea is that abstract machines implement a language's concrete semantics, so we transform them slightly so that they also implement a language's abstract semantics (thus "abstracting" abstract  ... 
doi:10.1145/2775052.2661098 fatcat:esp7bav7hjfdfmzgmeicsk5aqi

Abstracting abstract machines

David Van Horn, Matthew Might
2010 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10  
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines.  ...  For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique we call store-allocated continuations, leads to machines that abstract into static analyses  ...  abstracted state-space.  ... 
doi:10.1145/1863543.1863553 dblp:conf/icfp/HornM10 fatcat:liy6ejmwmjbw5ptitjll42kxzi

Abstracting abstract machines

David Van Horn, Matthew Might
2011 Communications of the ACM  
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines.  ...  For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique we call store-allocated continuations, leads to machines that abstract into static analyses  ...  abstracted state-space.  ... 
doi:10.1145/1995376.1995400 fatcat:zxmjehncnrfqdp4zwijasn5u7a

Abstract abstract reduction

Georg Struth
2006 The Journal of Logic and Algebraic Programming  
Section 4 connects these algebras with abstract reduction and the associated diagrammatic proofs. Section 5 introduces the Church-Rosser theorem and discusses its abstraction to Kleene algebra.  ...  The regular operations are also the essential concepts for specifying and proving theorems of abstract reduction.  ...  We abstract them to assumptions for our calculations.  ... 
doi:10.1016/j.jlap.2005.04.001 fatcat:sb642bhnqnanrohtc3cgcmwmb4

Abstracting abstract machines

David Van Horn, Matthew Might
2010 SIGPLAN notices  
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines.  ...  For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique we call store-allocated continuations, leads to machines that abstract into static analyses  ...  abstracted state-space.  ... 
doi:10.1145/1932681.1863553 fatcat:zupwxrjpgjdzpf6tyqllnpesxe

Abstract Book

2015 Annals of Vascular Diseases  
Endovascular Treatment of Ruptured Internal Iliac Artery Aneurysm in Neurofibromatosis Type 1 Patient Byung-Jun So, Seung Jae Byun, Yu Seon Kim, Ji Hun Jang Wonkwang College of Medicine Case Report: Abstract  ... 
doi:10.3400/avd.sup.15-00001 fatcat:nqizovexofflllasrevdegq25q

Optimizing abstract abstract machines

J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound.  ...  Related work Abstracting Abstract Machines This work clearly closely follows Van Horn and Might's original papers on abstracting abstract machines [26, 28] , which in turn is one piece of the large body  ...  Part (a) Figure 3 . 3 Syntax of ISWIM Figure 4 . 4 Abstract machine components Figure 6 . 6 Abstract compilation eval (e) = {ς | e ( , ∅, ∅, mt) −→ → ς} where Figure 7 . 7 Abstract abstract machine  ... 
doi:10.1145/2500365.2500604 dblp:conf/icfp/JohnsonLMH13 fatcat:oqfftpsyyzfbjgyweeloyuj7gy

Optimizing abstract abstract machines

J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
2013 SIGPLAN notices  
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound.  ...  Abstract compilation transforms complex expressions whose abstract evaluation is deterministic into "abstract bytecodes."  ...  Related work Abstracting Abstract Machines This work clearly closely follows Van Horn and Might's original papers on abstracting abstract machines [31, 33] , which in turn is one piece of the large body  ... 
doi:10.1145/2544174.2500604 fatcat:3t3dxu55r5c2fp5av3xoncjnhe

Abstract Process Structures (Extended Abstract)

Kohei Honda
1996 Electronical Notes in Theoretical Computer Science  
The present paper gives an abstract framework in which s u c h a theory can be developed, using a pair of categories whose arrows denote possible connections among processes.  ...  The abstract treatment results in a considerable generalisation of the class of structures, some of which w ould shed a new light on the computational features of Linear Logic.  ...  This universe is useful for analysing certain computational formalisms as well as for studying abstract process structures themselves.  ... 
doi:10.1016/s1571-0661(05)80407-4 fatcat:cvvfvx5v6zh2xlzrh2wp42ynai

Program/Abstract # 137 -- Abstract Withdrawn

2011 Developmental Biology  
School of Medicine, New York, NY, USA doi:10.1016/j.ydbio.2011.05.160 Program/Abstract # 137 -Abstract Withdrawn doi:10.1016/j.ydbio.2011.05.161 Program/Abstract # 138 A new model of intestinal morphogenesis  ... 
doi:10.1016/j.ydbio.2011.05.161 fatcat:57fcfczdbjbsnenwnfbm65hote

English Abstracts / Englische Zusammenfassungen / Abstracts

Editor
2011 European Journal of Mental Health  
ENGLISH ABStRACtS / ENGLISCHE ZUSAMMENFASSUNGEN evolution of schools providing comprehensive education is presented with the typically dictator ial backdrop.  ... 
doi:10.5708/ejmh.6.2011.1.abs.gb fatcat:fvggc526angr5pgi7jomon667a
« Previous Showing results 1 — 15 out of 6,341,912 results