Search results for "abstract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Matthew Might, Benjamin Chambers, Olin Shivers	Model Checking Via GammaCFA.	VMCAI	2007	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
58	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
58	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract domains condensing.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
51	Matthew Might, Olin Shivers	Improving flow analyses via GammaCFA: abstract garbage collection and counting.	ICFP	2006	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
51	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
50	Tommaso Bolognesi, Egon Börger	Abstract State Processes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
48	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
48	Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst	Dynamic inference of abstract types.	ISSTA	2006	DBLP DOI BibTeX RDF	mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
45	Jean-Francois Girard, Rainer Koschke, Georg Schied	A Metric-based Approach to Detect Abstract Data Types and State Encapsulations.	ASE	1997	DBLP DOI BibTeX RDF	metric-based approach, state encapsulations, abstract objects, C systems, software engineers, abstract data types, abstract data types, source code
45	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
45	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
45	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
42	Marc Aiguier, Diane Bahrami	Structures for Abstract Rewriting.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
42	Roberto Giacobazzi, Isabella Mastroeni	Proving Abstract Non-interference.	CSL	2004	DBLP DOI BibTeX RDF	abstract non-interference, verification, Abstract interpretation, language-based security
42	Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato	Complementation in Abstract Interpretation.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
42	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
42	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
42	Soonho Kong, Wontae Choi, Kwangkeun Yi	Abstract parsing for two-staged languages with concatenation.	GPCE	2009	DBLP DOI BibTeX RDF	multi-staged languages, program analysis, abstract interpretation, parsing
42	Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf	Extending the compatibility notion for abstract WS-BPEL processes.	WWW	2008	DBLP DOI BibTeX RDF	abstract profile, petri nets, compliance, WS-BPEL
42	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
42	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
42	Junaid Ansari, Xi Zhang 0001, Andreas Achtzehn, Marina Petrova, Petri Mähönen	A flexible MAC development framework for cognitive radio systems.	WCNC	2011	DBLP DOI BibTeX RDF
42	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract interpretations complete.	J. ACM	2000	DBLP DOI BibTeX RDF
40	Stanislas Nanchen, Robert F. Stärk	A Security Logic for Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
40	Dean Rosenzweig, Davor Runje, Neva Slani	Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
40	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
40	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
40	H. Gerstmann, Alexander Ollongren	Abstract Objects as Abstract Data Types.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
39	Yang Liu, Li Li	Money Policy in Dynamic Stochastic General Equilibrium Models.	CAR	2009	DBLP DOI BibTeX RDF	Money Policy, Dynamic Stochastic General Equilibrium Model, MIU Citation: Yang Liu, Li Li, Money Policy in Dynamic Stochastic General Equilibrium Models, pp.406-409, 2009 International Asia Conference on Informatics in Control, Automation and Robotics, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1564), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Asia Conference on Informatics in Control, Automation and Robotics), var productTitle = escape(Informatics in Control, Automation and Robotics, International Asia Conference on), var acronymTemp = escape(CAR), var bcPageName = escape(C), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1564), var linkToIssue=escape(/plugins/dl/years/1564?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6544), var linkToAbstract = escape(/plugins/dl/doi/10.1109/CAR.2009.103), var journalPage = escape(cc), var abbrevTitle = escape(car), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=29" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), car, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39	Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu	Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer.	ICNC (2)	2009	DBLP DOI BibTeX RDF	tumor marker, bronchofibroscope, lung cancer Citation: Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu, Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer, icnc, vol. 2, pp.118-125, 2009 Fifth International Conference on Natural Computation, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(916), var pubYear = escape(2009), var volume = escape(2), var issueNo = escape(2), var packageTitle = escape(2009 Fifth International Conference on Natural Computation), var productTitle = escape(International Conference on Natural Computation), var acronymTemp = escape(ICNC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/916), var linkToIssue=escape(/plugins/dl/years/916?year=2009&vol=2), var linkToTOC=escape(/plugins/dl/toc/7230), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICNC.2009.635), var journalPage = escape(i), var abbrevTitle = escape(icnc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=30" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), Artificial neural networks, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39	Sushama P. Patil, Amol C. Goje	The Effect of Developments in Student Attributes on Success in Programming of Management Students.	ICETC	2009	DBLP DOI BibTeX RDF	mathematical aptitude, performance consistence in mathematics etc Citation: Sushama P. Patil, Amol C. Goje, The Effect of Developments in Student Attributes on Success in Programming of Management Students, icetc, pp.191-193, 2009 International Conference on Education Technology and Computer, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1629), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Conference on Education Technology and Computer), var productTitle = escape(Education Technology and Computer, International Conference on), var acronymTemp = escape(ICETC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1629), var linkToIssue=escape(/plugins/dl/years/1629?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6836), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICETC.2009.35), var journalPage = escape(i), var abbrevTitle = escape(icetc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=31" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), spatial ability, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
39	Francesco Logozzo, Manuel Fähndrich	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.	SAC	2008	DBLP DOI BibTeX RDF	NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
39	Antoine Miné	The Octagon Abstract Domain.	WCRE	2001	DBLP DOI BibTeX RDF	linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
38	Mingtian Zhao, Song Chun Zhu	Sisley the abstract painter.	NPAR	2010	DBLP DOI BibTeX RDF	abstract art, hierarchical image parsing, perceptual ambiguity, painterly rendering
38	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
38	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	A model for abstract process specification, verification and composition.	ICSOC	2004	DBLP DOI BibTeX RDF	BPEL abstract process, web services
38	João Paulo A. Almeida, Remco M. Dijkman, Marten van Sinderen, Luís Ferreira Pires	On the Notion of Abstract Platform in MDA Development.	EDOC	2004	DBLP DOI BibTeX RDF	abstract platform, distributed application design, Model-Driven Architecture (MDA), platform-independence
38	Roberto Giacobazzi, Elisa Quintarelli	Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.	SAS	2001	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
38	Alessandro Fantechi, Stefania Gnesi, Diego Latella	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.	CONCUR	1996	DBLP DOI BibTeX RDF
38	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
38	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
38	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
37	Elvinia Riccobene, Patrizia Scandurra	Towards an Interchange Language for ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
37	Antje Nowack	Slicing Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
37	Dean Rosenzweig, Davor Runje	The Cryptographic Abstract Machine.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
37	Marianna Nicolosi Asmundo, Elvinia Riccobene	Consistent Integration for Sequential Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
37	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
37	Nicu G. Fruja, Robert F. Stärk	The Hidden Computation Stepsof Turbo Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
37	Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001	Investigating Java Concurrency Using Abstract State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
37	Angelo Gargantini, Elvinia Riccobene	Encoding Abstract State Machines in PVS.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
37	Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Using Abstract State Machines at Microsoft: A Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
37	Andreas Blass, Yuri Gurevich, Jan Van den Bussche	Abstract State Machines and Computationally Complete Query Languages.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
35	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
35	Francesco Banterle, Roberto Giacobazzi	A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.	SAS	2007	DBLP DOI BibTeX RDF	Octagon Abstract Domain, General Processing on GPU, Parallel Computing, Abstract Interpretation, Static Program Analysis
35	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
35	Michael F. Korns	Mutation and crossover with abstract expression grammars.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	abstract expression grammars, genetic programming, differential evolution, symbolic regression, particle swarm
35	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
35	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
35	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
35	Frank Huch	Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.	ICFP	1999	DBLP DOI BibTeX RDF	distributed system, model checking, verification, abstract interpretation, Erlang
35	Phillip M. Yelland	Producing Abstract Models for Object-Oriented Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Denotational Semantics, Object-Oriented Programming Languages, Abstract Models
35	Yingxu Wang	On abstract intelligence and its denotational mathematics foundations.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
35	Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm	Algorithm visualization using concrete and abstract shape graphs.	SOFTVIS	2008	DBLP DOI BibTeX RDF	algorithm visualisation, shape graphs, invariants, shape analysis, algorithm animation
35	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Abstract Interpretation with Specialized Definitions.	SAS	2006	DBLP DOI BibTeX RDF
35	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
35	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF
34	Egon Börger, Tommaso Bolognesi	Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	András A. Benczúr, Uwe Glässer, Tamás Lukovszki	Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter	Interfacing ASM with the MDG Tool.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	Ringo Baumann, Hannes Strass	Open Problems in Abstract Argumentation.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015	DBLP DOI BibTeX RDF
34	Richard Booth 0001	Judgment Aggregation in Abstract Dialectical Frameworks.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015	DBLP DOI BibTeX RDF
34	Pietro Baroni, Massimiliano Giacomin, Bei Shui Liao	I don't care, I don't know ... I know too much! On Incompleteness and Undecidedness in Abstract Argumentation.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015	DBLP DOI BibTeX RDF
34	Michael J. Butler, Michael Leuschel, Colin F. Snook	Tools for System Validation with B Abstract Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Seshadhri Comandur, Anil Seth, Somenath Biswas	RAM Simulation of BGS Model of Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene	A Concrete Syntax Derived From the Abstract State Machine Metamodel.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi	Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Egon Börger	Design Pattern Abstractions and Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
34	Wolfram Schulte	Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	Antje Nowack	Deciding the Verification Problem for Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
34	Andreas Blass	Abstract State Machines and Pure Mathematics.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
34	Marc Spielmann	Model Checking Abstract State Machines and Beyond.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
34	Egon Börger	Abstract State Machines at the Cusp of the Millenium.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
34	Giuseppe Del Castillo	The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
34	Wolfgang Schönfeld	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
34	Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
34	Alexandre V. Zamulin	Object-Oriented Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
34	Hans Tonino	A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
34	Heinz Zemanek	Abstract Architecture.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
32	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
32	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening operators for powerset domains.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
32	Isabella Mastroeni, Damiano Zanardini	Data dependencies and program slicing: from syntax to abstract semantics.	PEPM	2008	DBLP DOI BibTeX RDF	abstract non-interference, abstract interpretation, program slicing, dependency analysis
32	Kang Zhang	From Abstract Painting to Information Visualization.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	aesthetic computing, abstract art, abstract painting, information visualization, non-photorealistic rendering
32	Arun Lakhotia, Eric Uday Kumar, Michael Venable	A Method for Detecting Obfuscated Calls in Malicious Binaries.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Invasive software (viruses, worms), abstract stack, validation, program analysis, obfuscation
32	Cameron Maxwell, John Leaney, Tim O'Neill	Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation.	ECBS	2008	DBLP DOI BibTeX RDF	abstract matching, architectural optimisation, architecture, heuristics, design optimisation
32	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
32	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
32	Sumit Gulwani, Ashish Tiwari 0001	Combining abstract interpreters.	PLDI	2006	DBLP DOI BibTeX RDF	Nelson-Oppen combination, logical product, reduced product, abstract interpreter
32	Mila Dalla Preda, Roberto Giacobazzi	Semantic-Based Code Obfuscation by Abstract Interpretation.	ICALP	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation