getアクセサのみを指定することで、読み取り専用の自動実装プロパティを利用することができる。getアクセサのみの自動実装プロパティのバッキングフィールドは、コンストラクタによってのみ値を初期化できる。C# 6.0で導入された。  class Person {      // getアクセサと対応するバッキングフィールドが生成される      public int YearOfBirth { get; }      public Person(int year) {          // コンストラクタ内でバッキングフィールドを初期化可能          YearOfBirth = year;      }  }
値の取得と設定のみを行い、取得設定時に追加の処理を行わない場合、自動実装プロパティ (auto-implemented properties) と呼ばれる簡易な構文を用いることができる。自動実装プロパティでは、バッキングフィールドが内部的に自動生成される。プログラマは自動生成されたバッキングフィールドには直接アクセスすることはできない。C# 3.0で導入された。  class Person {      // バッキングフィールドが(不可視ではあるが)自動生成されている      public string Job { get; set; }  }自動実装プロパティと抽象的なプロパティは構文が類似しているため、注意を要する。  abstract class AbstractPerson {      // バッキングフィールドは生成されない      // 継承先のクラスで実装を要求される抽象的なプロパティ      public abstract string Name { get; set; }  }  interface IPerson {      // バッキングフィールドは生成されない      // 実装先のクラスで実装を要求される抽象的なプロパティ      string Name { get; set; }  }
片方のアクセサに対して、より厳しいアクセスレベルを指定することができる。C# 2.0で導入された。  class Person {      private string address;      public string Address {          // getのアクセスレベルは public          get { return address; }          // setのアクセスレベルは protected          protected set { address = value; }      }  }
片方のみのアクセサを実装するプロパティを宣言できる。  class Person {      private string age;      public string Age {          // getのみ実装することで、読み取り専用とする          get { return age; }      }  }
プロパティをvirtualやabstractキーワードで修飾することで、仮想メソッドあるいは抽象メソッドと同様に継承先での扱いを指定することができる。  abstract class AbstractPerson {      private string name;      // 仮想プロパティは継承先でオーバーライド可能となる      public virtual string Name {          get { return name; }          set { name = value; }      }      // 抽象プロパティは継承先で実装が必須となる      public abstract int Age { get; set; }  }  interface IPerson {      // 抽象プロパティは実装先で実装が必須となる      int Age { get; set; }  }
明示的にバッキングフィールド (backing field) を記述する基本的なプロパティの例を示す。プロパティの構文内ではget, setが、またsetアクセサ内ではvalueがコンテキスト（文脈）キーワードとして機能する。  class Person {      /// バッキングフィールド      private string name;      /// nameをカプセル化するプロパティ      public string Name {          get { return name; }          set {              if (value == null) { throw new ArgumentNullException(); }              name = value;          }      }  }呼び出し側では、フィールドにアクセスするような構文でプロパティの機能を呼び出す。  var person = new Person();  // set アクセス  person.Name = "John";  // get アクセス  string userName = person.Name;
プロパティ機能を持つ代表的なプログラミング言語として、Object Pascal (Delphi)、Objective-C、そしてC#やVisual Basic .NETをはじめとする.NET言語などが挙げられる。COMもプロパティの概念をサポートし、言語や処理系によってはプロパティ構文を利用できる。C++はプロパティをサポートしないが、Microsoft Visual C++などは独自拡張としてプロパティ構文をサポートする。Javaは言語レベルでプロパティをサポートしないが、類似機能としてBean (JavaBeans) がある。Kotlinなど、Java VM上で動作する後発言語にはプロパティ機能をサポートするものもある。
明治9年（1876年）に真福寺が提出した書上は、正中2年（1325年）閏正月に時宗の僧安国上人が創立したとする。江戸時代の地誌『封内風土記』は、嘉暦元年（1326年）と伝え、同じく江戸時代の『仙台鹿の子』と『奥羽観蹟聞老志』は建武元年（1334年）の創建と記す。正確な年は不明だが、安国が3年間奥州をめぐって布教したことは確かで、年代的に不自然なところはない。はじめ真福寺が立てられたのは登米郡にある葛西氏本拠地の城下であった。天正18年（1590年）の葛西氏滅亡とともに衰微したが、覚恵が岩出山城に新領主として入った伊達政宗に再興を願い、許されて岩出山に移転した。江戸時代には、仙台藩の下で、同じ時宗の阿弥陀寺などとともに着座格という寺格に位置づけられた。着座格は、御一門格、御盃頂戴格に次ぐ。広い寺領や伽藍を持つ大寺院と肩を並べるものではないが、仙台領の中では由緒あるものとして尊重されたと言える。寺禄として121石を与えられた。真福寺は城下の南、姉歯横丁のつきあたり、広瀬川に面したところにあった。境内に一つの仏堂があり、安国上人と子育明神を合わせ祀る。江戸時代の縁起によれば、小児の願いをたちどころにかなえ、乳が出ない母に乳が出るようになるという。明治時代に鎮守堂と名づけられた。その隣の安国堂には、安国上人の姿を刻んだ寄木造の木像が安置されている。安国自らが作ったという伝もあるが、室町時代の制作と推定される。1990年（平成2年）3月19日に仙台市の指定文化財になった。明治時代に姉歯横丁を延長して愛宕橋が架けられ、真福寺の敷地は建物が西、墓地は東と分断された。寺禄を失った明治初めには、廃仏の風潮とあいまって著しく衰退し、諸建造物が失われた。明治の終わりになって龍善和尚のもとで復興を果たした。