search result

Cover von 6. 2021, 3/4; Refinement Types
A Tutorial
Author: Jhala, Ranjit; Vazou, Niki Search for this author
Year: 2021
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages
Media group: MONOGRAPHIE
Cover von From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Search for this author
Year: 2023
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 8. 2023, 1
Media group: MONOGRAPHIE
Cover von Computer-Assisted Query Formulation
Author: Cheung, Alvin; Solar-Lezama, Armando Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 1
Media group: ONLINEBOOK
Cover von Neurosymbolic Programming
Search for this author
Year: 2021
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 7. 2021, 3
Media group: ONLINEBOOK
Cover von Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Author: Miné, Antoine Search for this author
Year: 2017
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 4. 2017, 4
Media group: MONOGRAPHIE
Cover von Programming with “Big Code”
Author: Vechev, Martin; Yahav, Eran Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 4
Media group: ONLINEBOOK
Cover von Programming with “Big Code”
special issue
Author: Vechev, Martin; Yahav, Eran Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 4
Media group: SPECIAL ISSUE
Cover von Computer-Assisted Query Formulation
special issue
Author: Cheung, Alvin; Solar-Lezama, Armando Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2016, 1
Media group: SPECIAL ISSUE
Cover von Behavioral Types in Programming Languages
Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2026, 2-3
Media group: MONOGRAPHIE
Cover von QED at Large
A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 5. 2019, 2/3
Media group: MONOGRAPHIE
OPEN V 11.1.0.0