A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Filters
Abstraction abstracted
2008
Proceedings of the 2nd international workshop on The role of abstraction in software engineering - ROA '08
Preserved Fulltext
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
2019
IEEE Micro
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2014
Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2011
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2006
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2013
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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)
1996
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
European Journal of Mental Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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