strict-feedback form

，此程序會一直進行到處理到最外層的外部控制命令為止。因此此方式稱為是「反推控制」。 反推控制的設計方式可以針對嚴格回授型式（英语：strict-feedback form）的系統，提供一種递归方式使其在原點可以稳定。考慮以下型式的动力系统 { x ˙ = f x ( x ) + g x ( x ) z

ISBN 978-0-521-38410-0.  Lightbown, Patsy M.; Spada, Nina. Focus-on-Form and Corrective Feedback in Communicative Language Teaching: Effects on Second Language

1985年，Miranda发行后，惰性函数式语言的关注度增长。到1987年前，出现了十多种非限定性（英语：Strict function）、纯函数式语言。其中，Miranda使用的最为广泛，但还没有出现在公共领域。在俄勒冈波特兰的函数式编程语言与计算机结构大会（FPCA

在不安全的HTTP網站輸入登入資訊時顯示警告。當網站未使用HTTPS時，Firefox會在密碼輸入欄顯示「此連線並不安全，輸入的登入資訊可能會被竊聽」訊息 實作Strict Secure Cookies規範，禁止不安全的HTTP網站設定帶有"secure"屬性的cookie。可避免某些情況下，不安全網站利用同base