-
1Academic Journal
Συγγραφείς: Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory — Semantics, D.4.6 [Security and Protection, Access Controls, Information Flow Controls, Verification, F.3.1 [Logics and Mean- ings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, pre- and post-conditions. General Terms Security, Languages Keywords Dependent Type Theory, Information Flow, Erasure, Data Structures
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.9502; http://software.imdea.org/%7Ealeks/rhtt/ifds.pdf
-
2Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
Περιγραφή αρχείου: application/pdf
-
3Academic Journal
Συγγραφείς: Henrique Rebêlo, Gary T. Leavens, Ricardo Lima
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Specifying and Verifying and Reasoning about Programs — Assertions, invariants, preand post-conditions, specification techniques
Περιγραφή αρχείου: application/pdf
-
4Academic Journal
Συγγραφείς: Gordon Fraser, Andreas Zeller
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Pre- and
Περιγραφή αρχείου: application/pdf
-
5Academic Journal
Συγγραφείς: Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney, Mehdi Bagherzadeh Θ
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Emina Torlak, Mandana Vaziri, Julian Dolby
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Formal Methods, Model Checking, D.1.3 [Programming Techniques, Concurrent Pro- gramming, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Me- chanical Verification General Terms Algorithms, Design, Languages, Verification Keywords Memory Models, Axiomatic Specifications, Bounded Model Checking, SAT
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.730; http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf
-
7Academic Journal
Συγγραφείς: Aleksandar Nanevski, Anindya Banerjee
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory— Semantics, D.4.6 [Operating System, Security and Protection—Access Controls, Information Flow Con- trols, Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, invariants, logics of programs, pre- and post-conditions General Terms, Security, Languages Additional Key Words and Phrases, Information flow, access control, type theory ACM Reference Format
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.492; http://software.imdea.org/%7Ealeks/rhtt/rhtt_toplas.pdf
-
8Academic Journal
Συγγραφείς: Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf.
Θεματικοί όροι: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software Engineering, Software/Program Verification—Class invariants, Correctness proofs, Formal methods, Programming by contract, F.3.1 [Logics and Meanings of programs, Specifying and Verifying and Reasoning about Programs—Assertions, Invariants, Logics of programs, Mechanical verification, Pre- and post-conditions, Specification techniques General Terms, Verification Additional Key Words and Phrases, Aliasing, data races, local reasoning, modular reasoning, ownership, verification condition generation ACM Reference Format
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177; http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5177
http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf -
9Academic Journal
Συγγραφείς: Gary T. Leavens, David A. Naumann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
Περιγραφή αρχείου: application/pdf
-
10Academic Journal
Συγγραφείς: Bodil Biering, Lars Birkedal, Noah Torp-smith, Bi Hyperdoctrines
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Bodil Biering, Lars Birkedal, Noah Torp-smith
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Documentation, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, logics of programs, specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation logic, hyperdoctrines, abstraction ACM Reference Format
Περιγραφή αρχείου: application/pdf
-
12Academic Journal
Συγγραφείς: Bodil Biering, Lars Birkedal, Noah Torp-smith, Bi Hyperdoctrines
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Mainten- ance|documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs|Assertions, Logics of programs, Specication techniques General Terms, Realiability, Theory, Verication Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Περιγραφή αρχείου: application/pdf
-
13Academic Journal
Συγγραφείς: Bodil Biering, Lars Birkedal, Noah Torp-Smith
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Hyperdoctrines, Abstraction Contents
Περιγραφή αρχείου: application/pdf
-
14Academic Journal
Συγγραφείς: Noah Torp-smith, Lars Birkedal, John C. Reynolds
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.7 [Software Engineering, Distribution and Maintenance—documentation, D.2.8 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Logics of programs, Specification techniques General Terms, Realiability, Theory, Verification Additional Key Words and Phrases, Separation Logic, Copying Garbage Collector, Local Reasoning
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.3315; http://www.itu.dk/~birkedal/papers/locrcg.pdf
-
15Academic Journal
Συγγραφείς: Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: ftp://ftp.cs.iastate.edu/pub/techreports/TR03-04/TR.ps.gz
Περιγραφή αρχείου: application/postscript
-
16Academic Journal
Συγγραφείς: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Περιγραφή αρχείου: application/pdf
-
18Academic Journal
Συγγραφείς: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards, Stephen Edwards D
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Περιγραφή αρχείου: application/pdf
-
19Academic Journal
Συγγραφείς: M. Codish, H. Søndergaard, P. J. Stuckey
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: ftp://ftp.cs.bgu.ac.il/pub/people/mcodish/coneg-full.ps.gz
Θεματικοί όροι: Categories and Subject Descriptors, D.1.6 [Programming Languages, Logic Programming, D.3.4 [Programming Languages, Processors---compilers, optimization, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs---assertions, invariants, logics of programs General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, Boolean functions, dataflow analysis, global analysis, groundness analysis, program analysis, sharing analysis
Περιγραφή αρχείου: application/postscript
-
20Academic Journal
Συγγραφείς: Gary T. Leavens, Jeannette M. Wing
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Programs] Specifying and Verifying and Reasoning about Programs | assertions, logics
Περιγραφή αρχείου: application/pdf