This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Fri 22 of Nov, 2024 [14:09 UTC]

Category F.3.1 Specifying and Verifying and Reasoning about Programs

Assertions Invariants Logics of programs Mechanical verification Pre- and post-conditions Specification techniques

Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

Hide subcategories objects

Current category: Top :: ITHEA Classification Structure :: F. Theory of Computation :: F.3 LOGICS AND MEANINGS OF PROGRAMS :: F.3.1 Specifying and Verifying and Reasoning about Programs

..

ITHEA Classification Structure

A. General Literature

A.1 INTRODUCTORY AND SURVEY

A.m MISCELLANEOUS

B.1 CONTROL STRUCTURES AND MICROPROGRAMMING

B.1.1 Control Design Styles

B.1.2 Control Structure Performance Analysis and Design Aids

B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance

B.1.4 Microprogram Design Aids

B.1.5 Microcode Applications

B.1.m Miscellaneous

B.2 ARITHMETIC AND LOGIC STRUCTURES

B.2.1 Design Styles

B.2.2 Performance Analysis and Design Aids

B.2.3 Reliability, Testing, and Fault-Tolerance

B.2.4 High-Speed Arithmetic

B.2.m Miscellaneous

B.3 MEMORY STRUCTURES

B.3.1 Semiconductor Memories

B.3.2 Design Styles

B.3.3 Performance Analysis and Design Aids

B.3.4 Reliability, Testing, and Fault-Tolerance

B.3.m Miscellaneous

B.4 INPUT/OUTPUT AND DATA COMMUNICATIONS

B.4.1 Data Communications Devices

B.4.2 Input/Output Devices

B.4.3 Interconnections (Subsystems)

B.4.4 Performance Analysis and Design Aids

B.4.5 Reliability, Testing, and Fault-Tolerance

B.4.m Miscellaneous

B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION

B.5.2 Design Aids

B.5.3 Reliability and Testing

B.5.m Miscellaneous

B.6 LOGIC DESIGN

B.6.1 Design Styles

B.6.2 Reliability and Testing

B.6.3 Design Aids

B.6.m Miscellaneous

B.7 INTEGRATED CIRCUITS

B.7.1 Types and Design Styles

B.7.2 Design Aids

B.7.3 Reliability and Testing

B.7.m Miscellaneous

B.8 PERFORMANCE AND RELIABILITY

B.8.1 Reliability, Testing, and Fault-Tolerance

B.8.2 Performance Analysis and Design Aids

B.8.m Miscellaneous

B.m MISCELLANEOUS

C. Computer Systems Organization

C.1 PROCESSOR ARCHITECTURES

C.1.1 Single Data Stream Architectures

C.1.2 Multiple Data Stream Architectures (Multiprocessors)

C.1.3 Other Architecture Styles

C.1.4 Parallel Architectures

C.1.m Miscellaneous

C.2 COMPUTER-COMMUNICATION NETWORKS

C.2.1 Network Architecture and Design

C.2.2 Network Protocols

C.2.3 Network Operations

C.2.4 Distributed Systems

C.2.5 Local and Wide-Area Networks

C.2.6 Internetworking

C.2.m Miscellaneous

C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

C.4 PERFORMANCE OF SYSTEMS

C.5 COMPUTER SYSTEM IMPLEMENTATION

C.5.1 Large and Medium (``Mainframe'') Computers

C.5.2 Minicomputers

C.5.3 Microcomputers

C.5.4 VLSI Systems

C.5.m Miscellaneous

C.m MISCELLANEOUS

D.1 PROGRAMMING TECHNIQUES

D.1.1 Applicative (Functional) Programming

D.1.2 Automatic Programming

D.1.3 Concurrent Programming

D.1.4 Sequential Programming

D.1.5 Object-oriented Programming

D.1.6 Logic Programming

D.1.7 Visual Programming

D.1.m Miscellaneous

D.2 SOFTWARE ENGINEERING

D.3 PROGRAMMING LANGUAGES

D.3.1 Formal Definitions and Theory

D.3.2 Language Classifications

D.3.3 Language Constructs and Features

D.3.4 Processors

D.3.m Miscellaneous

D.4 OPERATING SYSTEMS

D.m MISCELLANEOUS

E.1 DATA STRUCTURES

E.2 DATA STORAGE REPRESENTATIONS

E.3 DATA ENCRYPTION

E.4 CODING AND INFORMATION THEORY

E.m MISCELLANEOUS

F. Theory of Computation

F.1 COMPUTATION BY ABSTRACT DEVICES

F.1.1 Models of Computation

F.1.2 Modes of Computation

F.1.3 Complexity Measures and Classes

F.1.m Miscellaneous

F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

F.2.1 Numerical Algorithms and Problems

F.2.2 Nonnumerical Algorithms and Problems

F.2.3 Tradeoffs between Complexity Measures

F.2.m Miscellaneous

F.3 LOGICS AND MEANINGS OF PROGRAMS

F.3.1 Specifying and Verifying and Reasoning about Programs

F.3.2 Semantics of Programming Languages

F.3.3 Studies of Program Constructs

F.3.m Miscellaneous

F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

F.4.1 Mathematical Logic

F.4.2 Grammars and Other Rewriting Systems

F.4.3 Formal Languages

F.4.m Miscellaneous

F.m MISCELLANEOUS

G. Mathematics of Computing

H. Information Systems

H.1 MODELS AND PRINCIPLES

H.1.1 Systems and Information Theory

H.1.2 User/Machine Systems

H.1.m Miscellaneous

H.2 DATABASE MANAGEMENT

H.3 INFORMATION STORAGE AND RETRIEVAL

H.3.1 Content Analysis and Indexing

H.3.2 Information Storage

H.3.3 Information Search and Retrieval

H.3.4 Systems and Software

H.3.5 Online Information Services

H.3.6 Library Automation

H.3.7 Digital Libraries

H.3.m Miscellaneous

H.4 INFORMATION SYSTEMS APPLICATIONS

H.4.1 Office Automation

H.4.2 Types of Systems

H.4.3 Communications Applications

H.4.m Miscellaneous

H.5 INFORMATION INTERFACES AND PRESENTATION

H.5.1 Multimedia Information Systems

H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

H.5.3 Group and Organization Interfaces

H.5.4 Hypertext/Hypermedia

H.5.5 Sound and Music Computing

H.5.m Miscellaneous

H.m MISCELLANEOUS

I. Computing Methodologies

I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

I.1.1 Expressions and Their Representation

I.1.2 Algorithms

I.1.3 Languages and Systems

I.1.4 Applications

I.1.m Miscellaneous

I.2 ARTIFICIAL INTELLIGENCE

I.3 COMPUTER GRAPHICS

I.4 IMAGE PROCESSING AND COMPUTER VISION

I.5 PATTERN RECOGNITION

I.5.2 Design Methodology

I.5.3 Clustering

I.5.4 Applications

I.5.5 Implementation

I.5.m Miscellaneous

I.6 SIMULATION AND MODELING

I.7 DOCUMENT AND TEXT PROCESSING

I.7.1 Document and Text Editing

I.7.2 Document Preparation

I.7.3 Index Generation

I.7.4 Electronic Publishing

I.7.5 Document Capture

I.7.m Miscellaneous

I.m MISCELLANEOUS

J. Computer Applications

J.1 ADMINISTRATIVE DATA PROCESSING

J.2 PHYSICAL SCIENCES AND ENGINEERING

J.3 LIFE AND MEDICAL SCIENCES

J.4 SOCIAL AND BEHAVIORAL SCIENCES

J.5 ARTS AND HUMANITIES

J.6 COMPUTER-AIDED ENGINEERING

J.7 COMPUTERS IN OTHER SYSTEMS

J.m MISCELLANEOUS

K. Computing Milieux

K.1 THE COMPUTER INDUSTRY

K.2 HISTORY OF COMPUTING

K.3 COMPUTERS AND EDUCATION

K.3.1 Computer Uses in Education

K.3.2 Computer and Information Science Education

K.3.m Miscellaneous

K.4 COMPUTERS AND SOCIETY

K.4.1 Public Policy Issues

K.4.2 Social Issues

K.4.3 Organizational Impacts

K.4.4 Electronic Commerce

K.4.m Miscellaneous

K.5 LEGAL ASPECTS OF COMPUTING

K.5.1 Hardware/Software Protection

K.5.2 Governmental Issues

K.5.m Miscellaneous

K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

K.6.1 Project and People Management

K.6.2 Installation Management

K.6.3 Software Management

K.6.4 System Management

K.6.5 Security and Protection

K.6.m Miscellaneous

K.7 THE COMPUTING PROFESSION

K.7.1 Occupations

K.7.2 Organizations

K.7.3 Testing, Certification, and Licensing

K.7.4 Professional Ethics

K.7.m Miscellaneous

K.8 PERSONAL COMPUTING

K.8.1 Application Packages

K.8.3 Management/Maintenance

K.8.m Miscellaneous

K.m MISCELLANEOUS

Objects (5)

F.3.1 Specifying and Verifying and Reasoning about Programs	Article	Program Invariants Generation over Polynomial Ring using Iterative Methods.	Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted
F.3.1 Specifying and Verifying and Reasoning about Programs	Article	PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...	Abstract: The correctness proof for programs with parallelism, and interleaving concurrency with shared memory in particular, is complicated problem because the state of separate execution thread ca
F.3.1 Specifying and Verifying and Reasoning about Programs	Article	МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР	Аннотация: Рассматривается проблема построения монотонной логики Флойда-Хоара, которая является расширени�
F.3.1 Specifying and Verifying and Reasoning about Programs	Article	МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ�	Аннотация: Исследованы программно-ориентированные логические формализмы – транзиционные композиционно-но
F.3.1 Specifying and Verifying and Reasoning about Programs	Article	СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС	Аннотация: Исследованы чистые первопорядковые композиционно-номинативные логики частичных однозначных пр�

Page: 1/1
1

Login

World Clock

Powered by Tikiwiki

Powered by PHP

Powered by Smarty

Powered by ADOdb

Made with CSS

Powered by RDF

powered by The PHP Layers Menu System

Wiki

Blogs

Articles

Image Galleries

File Galleries

Forums

Maps

Calendars

[ Execution time: 0.25 secs ] [ Memory usage: 9.08MB ] [ GZIP Disabled ] [ Server load: 0.94 ]

Powered by Tikiwiki CMS/Groupware