搜索页_+abstract+interpretation+

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Springer”中，命中：792条，耗时：0.1029828 秒

1.Adjoining Declassification and Attack Models by Abstract Interpretation

作者：Roberto Giacobazzi ; Isabella Mastroeni

关键词：Abstract interpretation ; language ; based security ; declassification ; abstract non ; interference ; attack models ; adjunction ; completeness

刊名：Lecture Notes in Computer Science

出版时间：2005

出版年：2005

2.Derivation of proof methods by abstract interpretation

作者：Giorgio Levi ; Paolo Volpe

关键词：Inductive proof methods ; abstract interpretation ; abstract domains

刊名：Lecture Notes in Computer Science

出版时间：1998

出版年：1998

3.Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)

作者：Manuel V. Hermenegildo ; Germ谩n Puebla ; Francisco Bueno ; Pedro L贸pez-Garc铆a

关键词：Program Development ; Global Analysis ; Abstract Interpretation ; Debugging ; Verification ; Partial Evaluation ; Program Transformation ; Optimization ; Parallelization ; Resource Control ; Programming Environments ; Multi ; Paradigm Programming ; (Constra

刊名：Lecture Notes in Computer Science

出版时间：2003

出版年：2003

4.Semantic-Based Code Obfuscation by Abstract Interpretation

作者：Mila Dalla Preda ; Roberto Giacobazzi

关键词：Code Obfuscation ; Abstract Interpretation ; Program Transformation ; Semantics

刊名：Lecture Notes in Computer Science

出版时间：2005

出版年：2005

5.True concurrency via abstract interpretation

作者：Chiara Bodei ; Corrado Priami

关键词：Concurrency ; abstract interpretation ; causality

刊名：Lecture Notes in Computer Science

出版时间：1997

出版年：1997

6.Modelling Metamorphism by Abstract Interpretation

作者：Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend

关键词：Abstract interpretation ; malware detection ; metamorphic code ; program transformation ; static analysis ; security ; semantics

刊名：Lecture Notes in Computer Science

出版时间：2011

出版年：2011

7.Abstract Interpretation of Prolog Programs

作者：Fausto Spoto ; Giorgio Levi

关键词：Abstract interpretation ; static analysis ; logic programming

刊名：Lecture Notes in Computer Science

出版时间：1999

出版年：1999

8.Intuitionistic implication in abstract interpretation

作者：Roberto Giacobazzi ; Francesca Scozzari

关键词：Abstract interpretation ; directional types ; domains ; intuitionistic logic ; logic programming ; static analysis

刊名：Lecture Notes in Computer Science

出版时间：1997

出版年：1997

9.Instruction-level security typing by abstract interpretation

作者：Nicoletta De Francesco and Luca Martini

关键词：Abstract interpretation ; Information flow ; Language based security

刊名：International Journal of Information Security

出版时间：March, 2007

出版年：2007

10.Class Analysis of Object-Oriented Programs through Abstract Interpretation

作者：Thomas Jensen ; Fausto Spoto

关键词：Abstract interpretation ; class analysis ; object ; oriented languages ; domain theory ; semantics

刊名：Lecture Notes in Computer Science

出版时间：2001

出版年：2001

1

2

3

4

5

6

7

8

9

按检索点细分(792)

题名(154)

关键词(123)

文摘(692)

按出版年细分(792)

2000年及以前(163)

2001年(45)

2002年(57)

2003年(50)

2004年(58)

2005年(77)

2006年(46)

2007年(49)

2008年(58)

2009年(50)

2010年(44)

2011年(66)

2012年(29)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700