Meta-level inference and program verification

Importance of the Intersection of Library and Information Sciences with Systems Theory

Journal of Critical Library and Information Studies ◽

10.24242/jclis.v1i1.23 ◽

2017 ◽

Vol 1 (1) ◽

Author(s):

Hannah Lee

Keyword(s):

System Theory ◽

General System ◽

General System Theory ◽

Von Bertalanffy ◽

Meta Level ◽

Professional Field ◽

The Subject ◽

Critical Insight ◽

Insight Into ◽

Information Sciences

This paper is the attempt to show how system theory could provide critical insight into the transdisciplinary field of library and information sciences (LIS). It begins with a discussion on the categorization of library and information sciences as an academic and professional field (or rather, the lack of evidence on the subject) and what is exactly meant by system theory, drawing upon the general system theory established by Ludwig von Bertalanffy. The main conversation of this paper focuses on the inadequacies of current meta-level discussions of LIS and the benefits of general system theory (particularly when considering the exponential rapidity in which information travels) with LIS.

Download Full-text

Program Verification Techniques Based on the Abstract Interpretation Theory

Journal of Software ◽

10.3724/sp.j.1001.2008.00017 ◽

2008 ◽

Vol 19 (1) ◽

pp. 17-26 ◽

Cited By ~ 5

Author(s):

Meng-Jun LI

Keyword(s):

Program Verification ◽

Abstract Interpretation ◽

Verification Techniques

Download Full-text

A User's Appraisal of an Automated Program Verification Aid

10.21236/adb009033 ◽

1975 ◽

Cited By ~ 1

Author(s):

Larry K. Whipple ◽

Mark A. Pitts

Keyword(s):

Program Verification

Download Full-text

Habitability: a process versus a state variable framework with observational tests and theoretical implications

International Journal of Astrobiology ◽

10.1017/s1473550420000415 ◽

2021 ◽

pp. 1-8

Author(s):

A. Lenardic ◽

J. Seales

Keyword(s):

Process Variable ◽

State Variable ◽

Modelling Framework ◽

Meta Level ◽

Planetary Habitability

The term habitable is used to describe planets that can harbour life. Debate exists as to specific conditions that allow for habitability but the use of the term as a planetary variable has become ubiquitous. This paper poses a meta-level question: What type of variable is habitability? Is it akin to temperature, in that it is something that characterizes a planet, or is something that flows through a planet, akin to heat? That is, is habitability a state or a process variable? Forth coming observations can be used to discriminate between these end-member hypotheses. Each has different implications for the factors that lead to differences between planets (e.g. the differences between Earth and Venus). Observational tests can proceed independent of any new modelling of planetary habitability. However, the viability of habitability as a process can influence future modelling. We discuss a specific modelling framework based on anticipating observations that can discriminate between different views of habitability.

Download Full-text